search

potassco / clintest

🧪 A test framework for clingo programs
https://potassco.org/clintest/
MIT License
7 stars 1 forks source link

Save the model that decided a test #26

Open teiesti opened 5 months ago

teiesti commented 5 months ago

The saved model should be available through the Test API. It should serve as an explanation why a test failed or succeeded.

Blocked on #18