Re-enable statemachine tests

Author: SallySoul

src/statemachine.pl

@@ -350,7 +350,7 @@
   final_states_to_dot(Stream, NFA_Final_States),
   start_state_to_dot(Stream, Start_State),
   writeln(Stream, "}").
-/*
+
 :- begin_tests(statemachine).
 
 test_dot_output(String, Correct_Dot_File) :-
@@ -390,4 +390,3 @@
   ).
 
 :- end_tests(statemachine).
-*/

tests/nfa/nfa_1.dot

@@ -1,7 +1,7 @@
 digraph NFA {
 	0;
 	1;
-	0 -> 1 [label="a"];
+	0 -> 1 [label="range(97,97)"];
 	1 [shape=doublecircle];
 	0 [shape=box];
 }

tests/nfa/nfa_2.dot

@@ -9,9 +9,9 @@ digraph NFA {
 	7;
 	8;
 	9;
-	1 -> 2 [label="a"];
-	4 -> 5 [label="b"];
-	6 -> 7 [label="c"];
+	1 -> 2 [label="range(97,97)"];
+	4 -> 5 [label="range(98,98)"];
+	6 -> 7 [label="range(99,99)"];
 	0 -> 1 [label="ε"];
 	0 -> 3 [label="ε"];
 	2 -> 9 [label="ε"];

tests/nfa/nfa_3.dot

@@ -32,19 +32,19 @@ digraph NFA {
 	30;
 	31;
 	32;
-	1 -> 2 [label="a"];
-	4 -> 5 [label="b"];
-	6 -> 7 [label="c"];
-	10 -> 11 [label="a"];
-	13 -> 14 [label="b"];
-	15 -> 16 [label="c"];
-	19 -> 29 [label="a"];
-	20 -> 21 [label="a"];
-	23 -> 24 [label="b"];
-	25 -> 26 [label="c"];
-	29 -> 30 [label="b"];
-	30 -> 31 [label="c"];
-	31 -> 32 [label="c"];
+	1 -> 2 [label="range(97,97)"];
+	4 -> 5 [label="range(98,98)"];
+	6 -> 7 [label="range(99,99)"];
+	10 -> 11 [label="range(97,97)"];
+	13 -> 14 [label="range(98,98)"];
+	15 -> 16 [label="range(99,99)"];
+	19 -> 29 [label="range(97,97)"];
+	20 -> 21 [label="range(97,97)"];
+	23 -> 24 [label="range(98,98)"];
+	25 -> 26 [label="range(99,99)"];
+	29 -> 30 [label="range(98,98)"];
+	30 -> 31 [label="range(99,99)"];
+	31 -> 32 [label="range(99,99)"];
 	0 -> 1 [label="ε"];
 	0 -> 3 [label="ε"];
 	2 -> 9 [label="ε"];

tests/nfa/nfa_4.dot

@@ -48,31 +48,31 @@ digraph NFA {
 	46;
 	47;
 	48;
-	0 -> 1 [label="a"];
-	1 -> 2 [label="b"];
-	2 -> 3 [label="b"];
-	3 -> 5 [label="c"];
-	6 -> 7 [label="*"];
-	8 -> 9 [label="c"];
-	9 -> 10 [label="a"];
-	12 -> 13 [label="*"];
-	14 -> 15 [label="c"];
-	15 -> 16 [label="a"];
-	18 -> 19 [label="*"];
-	20 -> 21 [label="c"];
-	21 -> 22 [label="a"];
-	25 -> 26 [label="*"];
-	27 -> 28 [label="c"];
-	28 -> 29 [label="a"];
-	31 -> 32 [label="*"];
-	33 -> 34 [label="c"];
-	34 -> 35 [label="a"];
-	37 -> 38 [label="*"];
-	39 -> 40 [label="c"];
-	40 -> 41 [label="a"];
-	43 -> 44 [label="*"];
-	45 -> 46 [label="c"];
-	46 -> 47 [label="a"];
+	0 -> 1 [label="range(97,97)"];
+	1 -> 2 [label="range(98,98)"];
+	2 -> 3 [label="range(98,98)"];
+	3 -> 5 [label="range(99,99)"];
+	6 -> 7 [label="wildcard"];
+	8 -> 9 [label="range(99,99)"];
+	9 -> 10 [label="range(97,97)"];
+	12 -> 13 [label="wildcard"];
+	14 -> 15 [label="range(99,99)"];
+	15 -> 16 [label="range(97,97)"];
+	18 -> 19 [label="wildcard"];
+	20 -> 21 [label="range(99,99)"];
+	21 -> 22 [label="range(97,97)"];
+	25 -> 26 [label="wildcard"];
+	27 -> 28 [label="range(99,99)"];
+	28 -> 29 [label="range(97,97)"];
+	31 -> 32 [label="wildcard"];
+	33 -> 34 [label="range(99,99)"];
+	34 -> 35 [label="range(97,97)"];
+	37 -> 38 [label="wildcard"];
+	39 -> 40 [label="range(99,99)"];
+	40 -> 41 [label="range(97,97)"];
+	43 -> 44 [label="wildcard"];
+	45 -> 46 [label="range(99,99)"];
+	46 -> 47 [label="range(97,97)"];
 	0 -> 1 [label="ε"];
 	1 -> 0 [label="ε"];
 	2 -> 3 [label="ε"];