Support SV-COMP ReachSafety-Combined with BMC

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.

24 stars 5 forks source link

Support SV-COMP ReachSafety-Combined with BMC #85

Open AdamZsofi opened 3 years ago

AdamZsofi commented 3 years ago

I'll need to take a look at exactly what the problem is here. It could be a performance issue, but it probably can be handled so that this issue is resolved. It may also have something to do with inlining.

sallaigy commented 3 years ago

Indeed, it seems that we support this category alright, we just have performance issues (these programs are quite complex).