search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Support SV-COMP ReachSafety-Floats with Theta #79

Open hajduakos opened 3 years ago

hajduakos commented 3 years ago

Since BMC already supports it with quite good results, this is not a top priority. Rather, #60 should be prioritized to eliminate incorrect results.