knowsys / rulewerk

Java library based on the VLog rule engine
Apache License 2.0
32 stars 13 forks source link

Integration tests (old Issues) #204

Closed larry-gonzalez closed 3 years ago

larry-gonzalez commented 3 years ago

(Description edited after discussion)

Branch to start integration-tests.

I have created the maven module org.semanticweb.rulewerk.integrationtests that contains a single test package called vlogissues, that enclose some classes that reproduce an issue reported in VLog in a black-box way.

Please note:

mkroetzsch commented 3 years ago

Tests that are meant to test VLog should be placed in the new module for integration tests (as discussed elsewhere). Tests in the vlog-rulewerk module should only test Java code that is part of Rulewerk (ideally, the vlog-rulewerk module should not have test failures even if VLog C++ is not working at all).