search

tracer-x / TracerX

TracerX Symbolic Virtual Machine
https://tracer-x.github.io/
Other
31 stars 11 forks source link

mark WP vars during WPInstantiation #402

Closed ArpitaDutta closed 10 months ago

ArpitaDutta commented 11 months ago

This PR is to solve Issue #398.

ArpitaDutta commented 10 months ago

Comparison result with master-wp is here.

ArpitaDutta commented 10 months ago

Updated the file with master branch deletion interpolation result.

ArpitaDutta commented 10 months ago

There are differences in the number of covered blocks and icmps for programs that have hit the timeout.

rasoolmaghareh commented 10 months ago

There are differences in the number of covered blocks and icmps for programs that have hit the timeout.

I checked the results, we need to investigate why this program is reaching timeout: Wtest32-B15. Probably let's try to see which subsumption check is failing now which was passing before.

ArpitaDutta commented 10 months ago

I have checked both the result files and this program is reaching timeout for all the branches.