kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

how to set the priority of rules? #2401

Open dexter-qjq opened 6 years ago

dexter-qjq commented 6 years ago

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?