Acyclicity tests JA, RJA, MFA, RMFA, MFC

knowsys / rulewerk

Java library based on the VLog rule engine

Apache License 2.0

32 stars 13 forks source link

Acyclicity tests JA, RJA, MFA, RMFA, MFC #214

Closed irina-dragoste closed 3 years ago

irina-dragoste commented 3 years ago

added some tests for VLog acyclicity checks. Some tests are failing, and those methods are ignored. Should be unignored when the acyclicity checks are fixed in VLog.