Skip to content

Commit 3c855eb

Browse files
committed
Update location in ClockCheckCond error expected output, add a check for the output without --cross-info
1 parent 2de7074 commit 3c855eb

File tree

3 files changed

+21
-1
lines changed

3 files changed

+21
-1
lines changed

testsuite/bsc.mcd/Misc/ClockCheckCond.bsv.bsc-vcomp-out.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ Error: "ClockCheckCond.bsv", line 6, column 8: (G0007)
66
Method calls by clock domain:
77
Clock domain 1:
88
default_clock:
9-
the_y.read at "ClockCheckCond.bsv", line 2, column 18,
9+
the_y.read at "ClockCheckCond.bsv", line 2, column 10,
1010
Clock domain 2:
1111
c:
1212
the_x.read at "ClockCheckCond.bsv", line 14, column 19,
Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
checking package dependencies
2+
compiling ClockCheckCond.bsv
3+
code generation for sysClockCheckCond starts
4+
Error: "ClockCheckCond.bsv", line 6, column 8: (G0007)
5+
Reference across clock domain in method `out'.
6+
Method calls by clock domain:
7+
Clock domain 1:
8+
default_clock:
9+
the_y.read
10+
Clock domain 2:
11+
c:
12+
the_x.read
13+
During elaboration of the interface method `out' at "ClockCheckCond.bsv",
14+
line 6, column 8.
15+
During elaboration of `sysClockCheckCond' at "ClockCheckCond.bsv", line 6,
16+
column 8.

testsuite/bsc.mcd/Misc/mcd.exp

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -57,6 +57,10 @@ compare_file ClockCheckRule2.bsv.bsc-vcomp-out
5757
compile_verilog_fail_error ClockCheckMethod.bsv G0007 1 "" "-cross-info"
5858
compare_file ClockCheckMethod.bsv.bsc-vcomp-out
5959

60+
compile_verilog_fail_error ClockCheckCond.bsv G0007 1 ""
61+
copy ClockCheckCond.bsv.bsc-vcomp-out ClockCheckCond.bsv.nocrossinfo.bsc-vcomp-out
62+
compare_file ClockCheckCond.bsv.nocrossinfo.bsc-vcomp-out
63+
6064
compile_verilog_fail_error ClockCheckCond.bsv G0007 1 "" "-cross-info"
6165
# even with the -cross-info flag, the positions here are not perfect
6266
# (we compare here against the imperfect, but we should fix it) (bug 1238)

0 commit comments

Comments
 (0)