mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-23 05:15:30 +00:00
Code Activity

junit: handle multiple asserts failing with the same trace

Browse source
This commit is contained in:
N. Engelhardt 2022-03-22 16:16:02 +01:00
parent fa5d5ad831
commit c7e4785a8a
2 changed files with 28 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

22
tests/2props1trace.sby Normal file
View file

@ -0,0 +1,22 @@
[options]
mode bmc
depth 1
expect fail
[engines]
smtbmc
[script]
read -sv top.sv
prep -top top
[file top.sv]
module top(
input foo,
input bar
);
always @(*) begin
assert (foo);
assert (bar);
end
endmodule