search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
387 stars 73 forks source link

junit: handle multiple asserts failing with the same trace #145

Closed nakengelhardt closed 2 years ago

nakengelhardt commented 2 years ago

cc @jix

nakengelhardt commented 2 years ago

Unfortunately, like many of the junit testcases, this isn't self-checking, you have to manually look at the trace file location in the junit...