asiabiega / state-machine-optimizer Goto Github PK

old size: 3291
smopt: MachineSize.hs:(25,1)-(27,60): Non-exhaustive patterns in function msizeCondition

while running:
for i in ls inputs/; do echo; cat inputs/$i | ./smopt 2; done

1. Sprzeczne AND (tautologiczne OR?)
2. not-feasible-branch-removal
3. same-arg-brach-removal
4. statenum-wildcard
5. rule-collapse (-1)
6. trivial-and(-or) [?]
7. if/case-interchange [?]
8. or-collapse [?]
9. and-collapse [?]

it occured during random testing:

smtest: Evaluator.hs:(49,1)-(61,66): Non-exhaustive patterns in function Evaluator.evalCondition

no idea what it was, but it's in out inputs/