search

cuplv / verivita

Dynamic verification using callbacks
2 stars 1 forks source link

Fix test using BDD/SAT #200

Open smover opened 7 years ago

smover commented 7 years ago

The label on the automata can be handled with both BDD and SAT.

All the tests should run with both configurations.