search

marek-trtik / cbmc

C Bounded Model Checker
http://www.cprover.org/cbmc
Other
0 stars 0 forks source link

No outgoing edges from violation nodes #10

Closed peterschrammel closed 7 years ago

peterschrammel commented 7 years ago

This makes the CPAchecker witness validator happy (error (invalid witness file)).

peterschrammel commented 7 years ago

@marek-trtik, you should rebase the svcomp-2018 branch. @tautschnig, you can cherry-pick https://github.com/marek-trtik/cbmc/pull/10/commits/a63daf3b90f92e29784791b8b050eccf58bc935a.

marek-trtik commented 7 years ago

I've cherry-picked @peterschrammel 's commit and pushed it directly into the branch. So, closing the issue.

NOTE: There is no need to create PRs. We all have write access. So, push your work directly.