From: N. Engelhardt Date: Mon, 28 Mar 2022 14:32:54 +0000 (+0200) Subject: Merge pull request #145 from nakengelhardt/fix_junit_tracefile X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=53abf14514e98dbf4d88609d4963b51f5f6ebb61;p=SymbiYosys.git Merge pull request #145 from nakengelhardt/fix_junit_tracefile junit: handle multiple asserts failing with the same trace --- 53abf14514e98dbf4d88609d4963b51f5f6ebb61 diff --cc sbysrc/sby_engine_smtbmc.py index ab0c7e5,4605408..a9c5c80 --- a/sbysrc/sby_engine_smtbmc.py +++ b/sbysrc/sby_engine_smtbmc.py @@@ -185,17 -184,17 +185,17 @@@ def run(mode, task, engine_idx, engine) match = re.match(r"^## [0-9: ]+ Assert failed in (\S+): (\S+) \((\S+)\)", line) if match: cell_name = match[3] - prop = task.design_hierarchy.find_property_by_cellname(cell_name) + prop = task.design_hierarchy.find_property_by_cellname(cell_name, trans_dict=smt2_trans) prop.status = "FAIL" - last_prop = prop + last_prop.append(prop) return line match = re.match(r"^## [0-9: ]+ Reached cover statement at (\S+) \((\S+)\) in step \d+.", line) if match: cell_name = match[2] - prop = task.design_hierarchy.find_property_by_cellname(cell_name) + prop = task.design_hierarchy.find_property_by_cellname(cell_name, trans_dict=smt2_trans) prop.status = "PASS" - last_prop = prop + last_prop.append(prop) return line match = re.match(r"^## [0-9: ]+ Writing trace to VCD file: (\S+)", line)