Formality script improvment

Signed-off-by: Pascal Gouedo <[email protected]>
openhwgroup · Oct 9, 2023 · ab89129 · ab89129
1 parent 959257a
commit ab89129
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/lec/synopsys_formality/check_lec.tcl b/scripts/lec/synopsys_formality/check_lec.tcl
@@ -15,6 +15,8 @@ set_dont_verify_point -type port  i:WORK/cv32e40p_core/apu_flags_o*
 
 verify > ./reports/verify.rpt
 
+report_aborted_points > ./reports/aborted_points.rpt
+report_failing_points > ./reports/failing_points.rpt
 analyze_points -failing > ./reports/analyze.rpt
 
 exit