search

potassco / clintest

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

1+ parser bug #11

Closed owrel closed 2 years ago

owrel commented 2 years ago

Occurs when : clingo example/simpleexample/color.lp | python -m clintest example/simpleexample/test_on_color.json

Problem : The parser is trying to convert the number of models intu an int, or when no number given, return '1+'