RMSA classification issue 2

karmaresearch / vlog

Apache License 2.0

55 stars 9 forks source link

Closed irina-dragoste closed 2 years ago

irina-dragoste commented 3 years ago

For the rule set

R(y, z) :- R(x, y) 
R(y, x) :- R(x, y)

and empty edb.conf, the command vlog cycles --alg RMSA --rules rules -e edb.conf does not classifies this rule-set as RMSA, but it should :

CerielJacobs commented 2 years ago

Seems fixed