forked from jon-jacky/PyModel
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtest_validation.ref
More file actions
136 lines (124 loc) · 5.91 KB
/
test_validation.ref
File metadata and controls
136 lines (124 loc) · 5.91 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
6 states, 5 transitions, 1 accepting states, 0 unsafe states
dot - graphviz version 2.28.0 (20111028.1807)
libdir = "/usr/local/lib/graphviz"
Activated plugin library: libgvplugin_quartz.6.dylib
Using textlayout: textlayout:quartz
Activated plugin library: libgvplugin_core.6.dylib
Using render: svg:core
Using device: svg:svg:core
Activated plugin library: libgvplugin_dot_layout.6.dylib
Using layout: dot:dot_layout
The plugin configuration file:
/usr/local/lib/graphviz/config6
was successfully loaded.
render : dot fig gd map ps quartz svg tk vml vrml xdot
layout : circo dot fdp neato nop nop1 nop2 osage patchwork sfdp twopi
textlayout : textlayout
device : bmp canon cgimage cmap cmapx cmapx_np dot eps exr fig gd gd2 gif gv imap imap_np ismap jp2 jpe jpeg jpg pct pdf pict plain plain-ext png ps ps2 psd sgi svg svgz tga tif tiff tk vml vmlz vrml wbmp xdot
loadimage : (lib) bmp eps gd gd2 gif jpe jpeg jpg pdf png ps svg
fontname: unable to resolve "Times-Roman"
network simplex: 6 nodes 5 edges maxiter=2147483647 balance=1
network simplex: 6 nodes 5 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross TestIntSuccessFSM: 0 crossings, 0.00 secs.
network simplex: 21 nodes 20 edges maxiter=2147483647 balance=2
network simplex: 21 nodes 20 edges 0 iter 0.00 sec
routesplines: 5 edges, 25 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
6 states, 5 transitions, 1 accepting states, 0 unsafe states
dot - graphviz version 2.28.0 (20111028.1807)
libdir = "/usr/local/lib/graphviz"
Activated plugin library: libgvplugin_quartz.6.dylib
Using textlayout: textlayout:quartz
Activated plugin library: libgvplugin_core.6.dylib
Using render: svg:core
Using device: svg:svg:core
Activated plugin library: libgvplugin_dot_layout.6.dylib
Using layout: dot:dot_layout
The plugin configuration file:
/usr/local/lib/graphviz/config6
was successfully loaded.
render : dot fig gd map ps quartz svg tk vml vrml xdot
layout : circo dot fdp neato nop nop1 nop2 osage patchwork sfdp twopi
textlayout : textlayout
device : bmp canon cgimage cmap cmapx cmapx_np dot eps exr fig gd gd2 gif gv imap imap_np ismap jp2 jpe jpeg jpg pct pdf pict plain plain-ext png ps ps2 psd sgi svg svgz tga tif tiff tk vml vmlz vrml wbmp xdot
loadimage : (lib) bmp eps gd gd2 gif jpe jpeg jpg pdf png ps svg
fontname: unable to resolve "Times-Roman"
network simplex: 6 nodes 5 edges maxiter=2147483647 balance=1
network simplex: 6 nodes 5 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross TestIntWrongFSM: 0 crossings, 0.00 secs.
network simplex: 21 nodes 20 edges maxiter=2147483647 balance=2
network simplex: 21 nodes 20 edges 0 iter 0.00 sec
routesplines: 5 edges, 25 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
6 states, 5 transitions, 1 accepting states, 0 unsafe states
dot - graphviz version 2.28.0 (20111028.1807)
libdir = "/usr/local/lib/graphviz"
Activated plugin library: libgvplugin_quartz.6.dylib
Using textlayout: textlayout:quartz
Activated plugin library: libgvplugin_core.6.dylib
Using render: svg:core
Using device: svg:svg:core
Activated plugin library: libgvplugin_dot_layout.6.dylib
Using layout: dot:dot_layout
The plugin configuration file:
/usr/local/lib/graphviz/config6
was successfully loaded.
render : dot fig gd map ps quartz svg tk vml vrml xdot
layout : circo dot fdp neato nop nop1 nop2 osage patchwork sfdp twopi
textlayout : textlayout
device : bmp canon cgimage cmap cmapx cmapx_np dot eps exr fig gd gd2 gif gv imap imap_np ismap jp2 jpe jpeg jpg pct pdf pict plain plain-ext png ps ps2 psd sgi svg svgz tga tif tiff tk vml vmlz vrml wbmp xdot
loadimage : (lib) bmp eps gd gd2 gif jpe jpeg jpg pdf png ps svg
fontname: unable to resolve "Times-Roman"
network simplex: 6 nodes 5 edges maxiter=2147483647 balance=1
network simplex: 6 nodes 5 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross TestIntSuccessComposeFSM: 0 crossings, 0.00 secs.
network simplex: 21 nodes 20 edges maxiter=2147483647 balance=2
network simplex: 21 nodes 20 edges 0 iter 0.00 sec
routesplines: 5 edges, 25 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
4 states, 3 transitions, 0 accepting states, 0 unsafe states
dot - graphviz version 2.28.0 (20111028.1807)
libdir = "/usr/local/lib/graphviz"
Activated plugin library: libgvplugin_quartz.6.dylib
Using textlayout: textlayout:quartz
Activated plugin library: libgvplugin_core.6.dylib
Using render: svg:core
Using device: svg:svg:core
Activated plugin library: libgvplugin_dot_layout.6.dylib
Using layout: dot:dot_layout
The plugin configuration file:
/usr/local/lib/graphviz/config6
was successfully loaded.
render : dot fig gd map ps quartz svg tk vml vrml xdot
layout : circo dot fdp neato nop nop1 nop2 osage patchwork sfdp twopi
textlayout : textlayout
device : bmp canon cgimage cmap cmapx cmapx_np dot eps exr fig gd gd2 gif gv imap imap_np ismap jp2 jpe jpeg jpg pct pdf pict plain plain-ext png ps ps2 psd sgi svg svgz tga tif tiff tk vml vmlz vrml wbmp xdot
loadimage : (lib) bmp eps gd gd2 gif jpe jpeg jpg pdf png ps svg
fontname: unable to resolve "Times-Roman"
network simplex: 4 nodes 3 edges maxiter=2147483647 balance=1
network simplex: 4 nodes 3 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross TestIntWrongComposeFSM: 0 crossings, 0.00 secs.
network simplex: 13 nodes 12 edges maxiter=2147483647 balance=2
network simplex: 13 nodes 12 edges 0 iter 0.00 sec
routesplines: 3 edges, 15 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
Generate FSM from allowed TestIntSuccess, ReadInt returns correct value
Generate dot
Generate SVG
Generate FSM from forbidden TestIntWrong, ReadInt returns wrong value
Generate dot
Generate SVG
Compose model with allowed trace
Generate dot
Generate SVG
Compose model with forbidden trace
Generate dot
Generate SVG