nganhkhoa/CTF-All-In-One
1
0
Fork 0
mirror of https://github.com/nganhkhoa/CTF-All-In-One.git synced 2025-06-24 04:05:03 +07:00
Code Issues Projects Releases Wiki Activity

finish 8.2.2

Browse Source
This commit is contained in:
firmianay
2018-04-12 22:16:00 +08:00
parent 578c6add6e
commit b444966f68
15 changed files with 263 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/Others/5.3_symbolic_execution/tree.gv Normal file
View File

@ -0,0 +1,16 @@
digraph {
0 [shape="none", label=""];
1 [shape="diamond", label="2*y == x"];
2 [shape="box", label="x = 0\ny = 1"];
3 [shape="diamond", label="x > y+10"];
4 [shape="box", label="x = 2\ny = 1"];
5 [shape="box", label="x = 30\ny = 15"];
6 [shape="plaintext", label="ERROR"];
0 -> 1;
1 -> 2 [label="false"];
1 -> 3 [label="true"];
3 -> 4 [label="false"];
3 -> 5 [label="true"];
5 -> 6;
}