UTulsa-Research/ag_gen
1
0
Fork 1
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Path Walking

Browse Source
This commit is contained in:
Noah L. Schrick 2022-03-29 14:53:12 -05:00
parent 4ac2735500
commit 78901dac13
12 changed files with 308 additions and 112 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/path_walk.py
View File

@ -14,7 +14,7 @@ parser.add_argument("-m", "--manual", dest = "manual", default = None, help="Man
parser.add_argument("-s", "--state_info", dest="state_info", help="State Info File") parser.add_argument("-s", "--state_info", dest="state_info", help="State Info File")
parser.add_argument("-i", "--input", dest = "input_d", help="Input Dot File") parser.add_argument("-i", "--input", dest = "input_d", help="Input Dot File")
parser.add_argument("-o", "--output", dest = "output_d", help="Output Dot File.") parser.add_argument("-o", "--output", dest = "output_d", help="Output Dot File.")
parser.add_argument("-q", "--quality", dest = "quality", help="Quality to Search for in Auto Mode")
args=parser.parse_args() args=parser.parse_args()
#if len(argv) != 4: #if len(argv) != 4:
@ -34,7 +34,7 @@ else:
states = len(splits) -1 states = len(splits) -1
for i in range(states): for i in range(states):
if "is_critical=true" in splits[i]: if "is_critical=true" in splits[i] or (args.quality !=None and args.quality in splits[i]):
crit_nodes.append(str(i-1)) crit_nodes.append(str(i-1))
print(str(i-1)) print(str(i-1))

8
tools/path_walk/node_10.dot
View File

@ -1,10 +1,10 @@
digraph G { digraph G {
0; 0;
3; 1;
4; 4;
10; 10;
3->10 [label=1]; 1->10 [label=1];
4->10 [label=1]; 4->10 [label=0];
0->4 [label=1]; 0->4 [label=1];
0->3 [label=1]; 0->1 [label=0];
} }

18
tools/path_walk/node_11.dot
View File

@ -1,22 +1,10 @@
digraph G { digraph G {
0; 0;
1; 1;
2;
3;
5; 5;
6;
8;
11; 11;
5->11 [label=1]; 1->11 [label=2];
6->11 [label=0]; 5->11 [label=0];
8->11 [label=0]; 0->5 [label=2];
2->8 [label=1];
3->8 [label=0];
1->6 [label=1];
3->6 [label=0];
1->5 [label=0];
2->5 [label=0];
0->3 [label=1];
0->2 [label=0];
0->1 [label=0]; 0->1 [label=0];
} }

20
tools/path_walk/node_12.dot
View File

@ -1,22 +1,10 @@
digraph G { digraph G {
0; 0;
1; 1;
2; 6;
4;
5;
7;
9;
12; 12;
5->12 [label=1]; 1->12 [label=2];
7->12 [label=0]; 6->12 [label=0];
9->12 [label=0]; 0->6 [label=2];
2->9 [label=1];
4->9 [label=0];
1->7 [label=1];
4->7 [label=0];
1->5 [label=0];
2->5 [label=0];
0->4 [label=1];
0->2 [label=0];
0->1 [label=0]; 0->1 [label=0];
} }

18
tools/path_walk/node_13.dot
View File

@ -1,22 +1,10 @@
digraph G { digraph G {
0; 0;
1; 1;
3;
4;
6;
7; 7;
10;
13; 13;
6->13 [label=1]; 1->13 [label=3];
7->13 [label=1]; 7->13 [label=0];
10->13 [label=0]; 0->7 [label=3];
3->10 [label=1];
4->10 [label=1];
1->7 [label=1];
4->7 [label=0];
1->6 [label=1];
3->6 [label=0];
0->4 [label=1];
0->3 [label=1];
0->1 [label=0]; 0->1 [label=0];
} }

23
tools/path_walk/node_14.dot
View File

@ -1,22 +1,7 @@
digraph G { digraph G {
0; 0;
2; 1;
3; 14;
4; 1->14 [label=4];
8; 0->1 [label=0];
9;
10;
14 [fillcolor = "#FF2C2C", style=filled, fontname="times-bold"];
8->14 [label=1];
9->14 [label=1];
10->14 [label=0];
3->10 [label=1];
4->10 [label=1];
2->9 [label=1];
4->9 [label=0];
2->8 [label=1];
3->8 [label=0];
0->4 [label=1];
0->3 [label=1];
0->2 [label=0];
} }

7
tools/path_walk/node_5.dot
View File

@ -1,10 +1,5 @@
digraph G { digraph G {
0; 0;
1;
2;
5; 5;
1->5 [label=0]; 0->5 [label=2];
2->5 [label=0];
0->2 [label=0];
0->1 [label=0];
} }

7
tools/path_walk/node_6.dot
View File

@ -1,10 +1,5 @@
digraph G { digraph G {
0; 0;
1;
3;
6; 6;
1->6 [label=1]; 0->6 [label=2];
3->6 [label=0];
0->3 [label=1];
0->1 [label=0];
} }

7
tools/path_walk/node_7.dot
View File

@ -1,10 +1,5 @@
digraph G { digraph G {
0; 0;
1;
4;
7; 7;
1->7 [label=1]; 0->7 [label=3];
4->7 [label=0];
0->4 [label=1];
0->1 [label=0];
} }

8
tools/path_walk/node_8.dot
View File

@ -1,10 +1,10 @@
digraph G { digraph G {
0; 0;
1;
2; 2;
3;
8; 8;
2->8 [label=1]; 1->8 [label=0];
3->8 [label=0]; 2->8 [label=0];
0->3 [label=1];
0->2 [label=0]; 0->2 [label=0];
0->1 [label=0];
} }

12
tools/path_walk/node_9.dot
View File

@ -1,10 +1,10 @@
digraph G { digraph G {
0; 0;
2; 1;
4; 3;
9; 9;
2->9 [label=1]; 1->9 [label=1];
4->9 [label=0]; 3->9 [label=0];
0->4 [label=1]; 0->3 [label=1];
0->2 [label=0]; 0->1 [label=0];
} }

286
tools/temp.dot
View File

@ -15,16 +15,278 @@ digraph G {
13; 13;
14; 14;
15; 15;
8->14 [label=1]; 16;
9->14 [label=1]; 17;
10->14 [label=0]; 18;
3->10 [label=1]; 19;
4->10 [label=1]; 20;
2->9 [label=1]; 21;
4->9 [label=0]; 22;
2->8 [label=1]; 23;
3->8 [label=0]; 24;
0->4 [label=1]; 25;
0->3 [label=1]; 26;
0->2 [label=0]; 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;
136;
137;
138;
139;
140;
141;
142;
143;
144;
145;
146;
147;
148;
149;
150;
151;
152;
153;
154;
155;
156;
157;
158;
159;
160;
161;
162;
163;
164;
165;
166;
167;
168;
169;
170;
171;
172;
173;
174;
175;
176;
177;
178;
179;
180;
181;
182;
183;
184;
185;
186;
187;
188;
189;
190;
191;
192;
193;
194;
195;
196;
197;
198;
199;
200;
201;
202;
203;
204;
205;
206;
207;
208;
209;
210;
211;
212;
213;
214;
215;
216;
217;
218;
219;
220;
221;
222;
223;
224;
225;
226;
227;
228;
229;
230;
231;
232;
233;
234;
235;
236;
237;
238;
239;
240;
241;
242;
243;
244;
245;
246;
247;
248;
249;
250;
251;
252;
253;
254;
255;
256;
257;
258;
259;
260;
261;
262;
263;
264;
265;
266;
267;
268;
269;
270;
271;
272;
273;
274;
275;
276;
277;
278;
279;
280;
281;
282;
283;
284;
285;
286;
287;
1->14 [label=4];
0->1 [label=0];