search

boogie-org / symbooglix

Symbolic Execution Engine for Boogie
MIT License
28 stars 4 forks source link

Fix #32: Add pass to prune unreachable blocks #34

Closed liammachado closed 6 years ago

liammachado commented 6 years ago

Unreachable nodes being present in generated CFGs was resulting in an ArgumentNullException being thrown in Boogie code. This issue is described more in depth on this page:

https://github.com/boogie-org/boogie/issues/92