search

diffblue / 2ls

Static Analyzer and Verifier
http://www.cprover.org/2LS
Other
44 stars 24 forks source link

Make user input non-deterministic #173

Closed FrNecas closed 1 year ago

FrNecas commented 1 year ago

This is more-or-less just an ugly workaround for SVcomp, I hope that we can find a more general and better solution to this in the future.

FrNecas commented 1 year ago

We will be able to drop this hack once this is merged https://github.com/diffblue/cbmc/pull/7369 and we update our CBMC

viktormalik commented 1 year ago

This was taken via #172.