1 | :- dynamic state_space_version_in_file/1. | |
2 | state_space_version_in_file(1). | |
3 | ||
4 | :- dynamic history/1. | |
5 | history([10,9,8,7,6,5,4,3,2,1,0,root]). | |
6 | ||
7 | ||
8 | :- dynamic forward_history/1. | |
9 | forward_history(_10449) :- fail. | |
10 | ||
11 | ||
12 | :- dynamic op_trace_ids/1. | |
13 | op_trace_ids([11,10,9,8,7,6,5,4,3,2,1,0]). | |
14 | ||
15 | ||
16 | :- dynamic current_state_id/1. | |
17 | current_state_id(11). | |
18 | ||
19 | ||
20 | :- dynamic current_options/1. | |
21 | current_options([(12,up,up,12)]). | |
22 | ||
23 | :- dynamic bind_skeleton/2. | |
24 | bind_skeleton(const_and_vars,[c]). | |
25 | ||
26 | :- dynamic packed_visited_expression/2. | |
27 | packed_visited_expression(root,root). | |
28 | packed_visited_expression(0,concrete_constants([bind(mx,int(100))])). | |
29 | packed_visited_expression(1,'$cst_vars'(0,[0])). | |
30 | packed_visited_expression(2,'$cst_vars'(0,[1])). | |
31 | packed_visited_expression(3,'$cst_vars'(0,[2])). | |
32 | packed_visited_expression(4,'$cst_vars'(0,[3])). | |
33 | packed_visited_expression(5,'$cst_vars'(0,[4])). | |
34 | packed_visited_expression(6,'$cst_vars'(0,[5])). | |
35 | packed_visited_expression(7,'$cst_vars'(0,[6])). | |
36 | packed_visited_expression(8,'$cst_vars'(0,[7])). | |
37 | packed_visited_expression(9,'$cst_vars'(0,[8])). | |
38 | packed_visited_expression(10,'$cst_vars'(0,[9])). | |
39 | packed_visited_expression(11,'$cst_vars'(0,[10])). | |
40 | packed_visited_expression(12,'$cst_vars'(0,[11])). | |
41 | ||
42 | ||
43 | :- dynamic not_invariant_checked/1. | |
44 | not_invariant_checked(12). | |
45 | ||
46 | ||
47 | :- dynamic not_interesting/1. | |
48 | not_interesting(_10672) :- fail. | |
49 | ||
50 | ||
51 | :- dynamic max_reached_for_node/1. | |
52 | max_reached_for_node(_10797) :- fail. | |
53 | ||
54 | ||
55 | :- dynamic time_out_for_node/2. | |
56 | time_out_for_node(_10922,_10923) :- fail. | |
57 | ||
58 | ||
59 | :- dynamic use_no_timeout/1. | |
60 | use_no_timeout(_11050) :- fail. | |
61 | ||
62 | ||
63 | :- dynamic transition/4. | |
64 | transition(root,'$setup_constants'(int(100)),0,0). | |
65 | transition(0,'$initialise_machine'(int(0)),1,1). | |
66 | transition(1,up,2,2). | |
67 | transition(2,up,3,3). | |
68 | transition(3,up,4,4). | |
69 | transition(4,up,5,5). | |
70 | transition(5,up,6,6). | |
71 | transition(6,up,7,7). | |
72 | transition(7,up,8,8). | |
73 | transition(8,up,9,9). | |
74 | transition(9,up,10,10). | |
75 | transition(10,up,11,11). | |
76 | transition(11,up,12,12). | |
77 | ||
78 | ||
79 | :- dynamic operation_not_yet_covered/1. | |
80 | operation_not_yet_covered(_11200) :- fail. | |
81 | ||
82 | ||
83 | :- dynamic state_error/3. | |
84 | state_error(_11325,_11326,_11327) :- fail. | |
85 | ||
86 | ||
87 | :- dynamic not_all_z_saved/1. | |
88 | not_all_z_saved(12). | |
89 | ||
90 | ||
91 | :- dynamic not_all_transitions_added_saved/1. | |
92 | not_all_transitions_added_saved(12). | |
93 | ||
94 | saved_gennum_count(13). |