search

rindPHI / isla

The ISLa (Input Specification Language) language & solver.
https://isla.readthedocs.org
GNU General Public License v3.0
56 stars 8 forks source link

Fix level predicate #94

Closed vasylenson closed 3 months ago

rindPHI commented 3 months ago

Thanks for this pull request, @vasylenson!