forked from jon-jacky/PyModel
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtest_graphics.ref
More file actions
135 lines (123 loc) · 5.86 KB
/
test_graphics.ref
File metadata and controls
135 lines (123 loc) · 5.86 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
9 states, 12 transitions, 9 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: 9 nodes 8 edges maxiter=2147483647 balance=1
network simplex: 9 nodes 8 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross StackFSM: 0 crossings, 0.00 secs.
network simplex: 45 nodes 62 edges maxiter=2147483647 balance=2
network simplex: 45 nodes 62 edges 9 iter 0.00 sec
routesplines: 12 edges, 60 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
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: 1 nodes 0 edges maxiter=2147483647 balance=1
network simplex: 1 nodes 0 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross StackOneScenario: 0 crossings, 0.00 secs.
network simplex: 1 nodes 0 edges maxiter=2147483647 balance=2
network simplex: 1 nodes 0 edges 0 iter 0.00 sec
routesplines: 0 edges, 0 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
4 states, 6 transitions, 4 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 StackSynchronized: 0 crossings, 0.00 secs.
network simplex: 22 nodes 27 edges maxiter=2147483647 balance=2
network simplex: 22 nodes 27 edges 0 iter 0.00 sec
routesplines: 6 edges, 30 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
15 states, 28 transitions, 15 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: 15 nodes 14 edges maxiter=2147483647 balance=1
network simplex: 15 nodes 14 edges 0 iter 0.00 sec
mincross: pass 0 iter 0 trying 0 cur_cross 0 best_cross 0
mincross Stack3FSM: 0 crossings, 0.00 secs.
network simplex: 99 nodes 148 edges maxiter=2147483647 balance=2
network simplex: 99 nodes 148 edges 28 iter 0.00 sec
routesplines: 28 edges, 140 boxes 0.00 sec
Using render: svg:core
Using device: svg:svg:core
Generate FSM with first 12 transitions
Generate dot commands
Generate SVG file
Generate dot commands for scenario FSM
Generate dot commands for scenario FSM
Generate SVG
Explore composition of model with scenario machine, show synchronization
Generate dot
Generate SVG
Generate FSM with state filter
Generate dot commands
Generate SVG file