search

VeriFIT / mata

A fast and simple automata library
MIT License
23 stars 13 forks source link

Fix counterexamples for inclusion #442

Closed jurajsic closed 3 weeks ago

jurajsic commented 1 month ago

This PR fixes counterexamples for antichain inclusion algorithm (both the word and path were incorrect) and for naive algorithm it fixes the path in the counterexamples.

jurajsic commented 1 month ago

It seems that there is significant slowdown while generating counterexamples, see verifit/z3-noodler#183