search

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
http://theta.inf.mit.bme.hu/
Apache License 2.0
49 stars 43 forks source link

WIP: Choice-else branch support #232

Closed arminzavada closed 2 months ago

leventeBajczi commented 4 months ago

@arminzavada, would this still be useful if this got merged? If so, please add some details to the description of this PR, and we should take a look, otherwise, please close.

arminzavada commented 2 months ago

@arminzavada, would this still be useful if this got merged? If so, please add some details to the description of this PR, and we should take a look, otherwise, please close.

@leventeBajczi The feature itself would be really useful on my side, however, I was unable to implement it without help.

This PR is out of date, and no real value has been added yet, so the simplest thing would be to close this pr, create a new issue, and rethink the implementation strategy, if it is even possible to implement it in a performant manner.