gazer icon indicating copy to clipboard operation
gazer copied to clipboard
verified publisher icon ftsrg

Support SV-COMP ReachSafety-Combined with BMC

Open AdamZsofi opened this issue 5 years ago • 1 comments

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.

AdamZsofi avatar Jan 05 '21 14:01 AdamZsofi

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

sallaigy avatar Jan 09 '21 08:01 sallaigy