search

tracer-x / TracerX

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

Disabled wanings #404

Closed ArpitaDutta closed 10 months ago

ArpitaDutta commented 10 months ago

To be merged with the branch for test-comp submission.

In this branch, all the klee_warnings are suppressed.

rasoolmaghareh commented 10 months ago

This commit has been added to the Testcomp-2024 branch. Closing this MR.