Loading test/checker/reg/minimize-is-1.0.ok +1 −1 Original line number Diff line number Diff line init=A (A,a)=B (A,b)=C (B,a)=D (B,b)=C (C,a)=E (C,b)=D (D,a)=C (D,b)=C (E,a)=C (E,b)=D final={C} init=1 (1,a)=2 (1,b)=3 (2,a)=4 (2,b)=3 (3,a)=5 (3,b)=4 (4,a)=3 (4,b)=3 (5,a)=3 (5,b)=4 final={3} Loading
test/checker/reg/minimize-is-1.0.ok +1 −1 Original line number Diff line number Diff line init=A (A,a)=B (A,b)=C (B,a)=D (B,b)=C (C,a)=E (C,b)=D (D,a)=C (D,b)=C (E,a)=C (E,b)=D final={C} init=1 (1,a)=2 (1,b)=3 (2,a)=4 (2,b)=3 (3,a)=5 (3,b)=4 (4,a)=3 (4,b)=3 (5,a)=3 (5,b)=4 final={3}
