Open xiaohe27 opened 9 years ago
if two events with diff name but same args violate two properties respectively, whether Monpoly will output the event name or not? Currently if only one kind of event in the formula, then the event name will be omitted.
if two events with diff name but same args violate two properties respectively, whether Monpoly will output the event name or not? Currently if only one kind of event in the formula, then the event name will be omitted.