goto-symex: move level1 map to goto_statet #10428
Job | Run time |
---|---|
6h 0m 13s | |
26m 49s | |
16m 50s | |
32m 20s | |
6h 0m 38s | |
6h 0m 26s | |
7m 17s | |
12m 57s | |
45m 48s | |
2h 45m 11s | |
11m 6s | |
13m 49s | |
21m 13s | |
2m 13s | |
1h 32m 13s | |
1h 14m 28s | |
22m 38s | |
21m 41s | |
1d 3h 27m 50s |