tests: split post_condition
main
test into normal
and corrupt_bounds
tests to have a control
#1706
Job | Run time |
---|---|
53s | |
4m 22s | |
17s | |
18s | |
18s | |
18s | |
21s | |
18s | |
17s | |
55s | |
23s | |
17s | |
18s | |
17s | |
17s | |
17s | |
17s | |
18s | |
16s | |
15s | |
16s | |
16s | |
16s | |
16s | |
16s | |
16s | |
15s | |
16s | |
16s | |
16s | |
15s | |
16s | |
15s | |
16s | |
14m 53s |