Reasoning integration tests

knowsys / rulewerk

Java library based on the VLog rule engine

Apache License 2.0

33 stars 13 forks source link

Reasoning integration tests #95

Open irina-dragoste opened 4 years ago

irina-dragoste commented 4 years ago

A new module dedicated to unit tests related to reasoning correctness should be created. The module can use the vlog4j-parser module for better readability. Unit tests concerned with testing reasoning correctness of VLog should be moved there. Complex reasoning scenarios should be tested:

[ ] acyclicity
[ ] complex rule formats
[ ] splitting rule heads
[ ] termination

mkroetzsch commented 3 years ago

These tests should be added to the module planned in #176.