Closed irina-dragoste closed 2 years ago
With rules
R(y, z) :- R(x, y) . R(y, x) :- R(x, y) .
and empty edb.conf, the command
vlog cycles --alg RJA --rules rules -e edb.conf does not classify the rule set as RJA, but it should.
With rules
R(y, z) :- R(x, y) . R(y, x) :- R(x, y) .
and empty edb.conf, the command
vlog cycles --alg RJA --rules rules -e edb.conf does not classify the rule set as RJA, but it should.