1 from check_output
import *
3 task
= "keepgoing_same_step"
4 src
= "keepgoing_same_step.sv"
6 assert_a
= line_ref(task
, src
, "assert(a)")
7 assert_not_a
= line_ref(task
, src
, "assert(!a)")
8 assert_0
= line_ref(task
, src
, "assert(0)")
10 log
= open(task
+ "/logfile.txt").read()
11 log_per_trace
= log
.split("Writing trace to VCD file")[:-1]
13 assert len(log_per_trace
) == 2
15 assert re
.search(r
"Assert failed in test: %s \(.*\)$" % assert_a
, log
, re
.M
)
16 assert re
.search(r
"Assert failed in test: %s \(.*\)$" % assert_not_a
, log
, re
.M
)
17 assert re
.search(r
"Assert failed in test: %s \(.*\)$" % assert_0
, log_per_trace
[0], re
.M
)
18 assert re
.search(r
"Assert failed in test: %s \(.*\) \[failed before\]$" % assert_0
, log_per_trace
[1], re
.M
)