0b7d49ebb17c7204df65136cd38979c7cd2a036a
1 from check_output
import *
3 src
= "keepgoing_multi_step.sv"
5 for task
in ["keepgoing_multi_step_bmc", "keepgoing_multi_step_prove"]:
6 assert_0
= line_ref(task
, src
, "assert(0)")
7 step_3_7
= line_ref(task
, src
, "step 3,7")
8 step_5
= line_ref(task
, src
, "step 5")
9 step_7
= line_ref(task
, src
, "step 7")
11 log
= open(task
+ "/logfile.txt").read()
12 log_per_trace
= log
.split("Writing trace to VCD file")[:-1]
14 assert len(log_per_trace
) == 4
17 assert re
.search(r
"Assert failed in test: %s \(.*\)$" % assert_0
, log_per_trace
[0], re
.M
)
20 assert re
.search(r
"Assert failed in test: %s \(.*\) \[failed before\]$" % assert_0
, log_per_trace
[i
], re
.M
)
23 assert re
.search(r
"Assert failed in test: %s \(.*\)$" % step_3_7
, log_per_trace
[1], re
.M
)
24 assert re
.search(r
"Assert failed in test: %s \(.*\)$" % step_5
, log_per_trace
[2], re
.M
)
25 assert re
.search(r
"Assert failed in test: %s \(.*\) \[failed before\]$" % step_3_7
, log_per_trace
[3], re
.M
)
26 assert re
.search(r
"Assert failed in test: %s \(.*\)$" % step_7
, log_per_trace
[3], re
.M
)