Support SV-COMP ReachSafety-Sequentialized with Theta

Open hajduakos opened this issue 5 years ago • 1 comments

Jan 05 '21 13:01 hajduakos

This category resulted in lots of false positives. This is probably due to pointer arithmetics.

Jan 05 '21 14:01 AdamZsofi