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

test: Add tests for canonisation with unreachable states

parent a60be41b
Pipeline #76581 passed with stage
in 52 seconds
init=1 (1,a)=2 (1,b)=3 (2,a)=2 (2,b)=2 (3,a)=3 (3,b)=3 final={2}
init=1 (1,a)=3 (1,b)=2 (3,a)=2 (2,b)=2 (3,a)=3 (3,b)=3 final={3}
init=1 (1,a)=2 (1,b)=3 (2,a)=2 (2,b)=2 (3,a)=3 (3,b)=3 (4,a)=4 (4,b)=4 final={2}
DFA-MIC:init=A (A,a)=B (A,b)=C (B,a)=B (B,b)=B (C,a)=C (C,b)=C final={B}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment