Adding test examples
Closed this issue · 1 comments
subhashree8 commented
I would like to know how to test a program using POPPER. In particular, I want to add test examples to robots-functional example and test it. I cannot find much info about the testing part in the readme file.
andrewcropper commented
You can simply run the induced program as a standard Prolog program, i.e. by querying the program with a test example.