kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

how to set the priority of rules?

dexter-qjq opened this issue · comments

there are multiple rules with the same configuration state which means they can be activated at the same time ,so i try to set the priority of rules. but how to do it . which the attribute it is or something else?