search

potassco / clintest

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

Input Verification #2

Closed owrel closed 2 years ago

owrel commented 2 years ago

Verification of integrity of datas are not handle properly. Looping about value, checking them, and also create errors to help correcting