Commit a1e6468e authored by Vladimír Štill's avatar Vladimír Štill
Browse files

test: More fixes of canonical automata tests

parent 8fbb8218

test/checker/reg/minimize-is-11.0.ok

+1 −1
Original line number Original line Diff line number Diff line 
(A,a)=B (A,b)=C (B,a)=C (B,b)=D (C,a)=C (C,b)=C (D,a)=C (D,b)=E (E,a)=F (E,b)=C (F,a)=C (F,b)=E final={A, D, E}
 
(1,a)=2 (1,b)=3 (2,a)=3 (2,b)=4 (3,a)=3 (3,b)=3 (4,a)=3 (4,b)=5 (5,a)=6 (5,b)=3 (6,a)=3 (6,b)=5 final={1, 4, 5}

test/checker/reg/minimize-is-15.0.ok

+1 −1
Original line number Original line Diff line number Diff line 
(A,a)=B (A,b)=C (B,a)=D (B,b)=E (C,a)=D (C,b)=F (D,a)=D (D,b)=D (E,a)=F (E,b)=F (F,a)=D (F,b)=D final={F}
 
(1,a)=2 (1,b)=3 (2,a)=4 (2,b)=5 (3,a)=4 (3,b)=6 (4,a)=4 (4,b)=4 (5,a)=6 (5,b)=6 (6,a)=4 (6,b)=4 final={6}

test/checker/reg/minimize-is-2.0.ok

+1 −1
Original line number Original line Diff line number Diff line 
init=A (A,a)=B (A,b)=C (B,a)=C (B,b)=D (C,a)=C (C,b)=C (D,a)=A (D,b)=C final={A, B, D}
 
init=1 (1,a)=2 (1,b)=3 (2,a)=3 (2,b)=4 (3,a)=3 (3,b)=3 (4,a)=1 (4,b)=3 final={1, 2, 4}

test/checker/reg/minimize-is-7.0.ok

+1 −1
Original line number Original line Diff line number Diff line 
(A,a)=B (A,b)=C (B,a)=D (B,b)=D (C,a)=D (C,b)=E (D,a)=D (D,b)=D (E,a)=D (E,b)=B final={B, C, E}
 
(1,a)=2 (1,b)=3 (2,a)=4 (2,b)=4 (3,a)=4 (3,b)=5 (4,a)=4 (4,b)=4 (5,a)=4 (5,b)=2 final={2, 3, 5}