kex icon indicating copy to clipboard operation
kex copied to clipboard

Published 20 hours ago • verified publisher icon vorpal-research

[BUG] Resolve test failures caused by new KSMT version

Open AbdullinAM opened this issue 8 months ago • 0 comments

After updating KSMT from version 0.5.8 to 0.5.23 in 96b406592345fed476365cc32ef0cbcac25de8b5, some of the tests started failing: https://github.com/vorpal-research/kex/actions/runs/9616742369/job/26526941920 https://github.com/vorpal-research/kex/actions/runs/9616742389/job/26526941948 https://github.com/vorpal-research/kex/actions/runs/9616742376/job/26592412360

The cause of these failures is the timeout handling in z3 version 4.12.5, which is used in the latest KSMT release.

Temporarily the issues were fixed by just increasing tolerances and disabling some tests (91b4e3a66c28d55509f50952264759f8d91da8cc), but we need to come up with a better solution

AbdullinAM avatar Jun 24 '24 11:06 AbdullinAM