-
Michael Raskin authored
Rework case analysis logic. Add notion of trivial step. Support passing different flags to different kinds of steps; configure E flags for trivial steps. Add some more cases. Redo/E: below 700 lines, passes E at 15 seconds per step, takes too long because 5102 statements are generated.
b3743bad