fjern/state-machine-optimizer — Issue #3: bug in machine size
Author: alistra
Created: 2012-01-06 11:31:41+00:00
State: open

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