search

uuverifiers / eldarica

The Eldarica model checker
Other
80 stars 22 forks source link

Cleans up and addresses some comments in Symex #63

Closed zafer-esen closed 3 days ago

zafer-esen commented 4 days ago

Creating PR for CI.