You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
-`minimized/<INPUT_SV>` - minimized code for each input file. They are updated after each successful pass,
53
53
-`tmp/<INPUT_SV>` - a copy of the previous file with a removal attempt applied, to be checked with the provided script,
54
-
-`sv-bugpoint-combined.sv` - if sv-bugpoint is launched with multiple input files, this file contains concatenation of all files in `minimized/` directory.
54
+
-`sv-bugpoint-combined.sv` - if sv-bugpoint is launched with multiple input files, this file contains the concatenation of all files in `minimized/` directory.
55
55
It should be treated more as live preview of how minimization is going rather than as source of truth - it is very likely that concatenation will make no sense. If sv-bugpoint is executed on single input file, it is simply a copy of `minimized/<INPUT_SV>`.
56
56
-`debug/trace` - verbose, tab-delimited trace with stats and additional info about each removal attempt ([example](examples/caliptra_verilation_err/out/debug/trace)).
57
57
It can be turned into a concise, high-level summary with the [`sv-bugpoint-trace_summary script`](scripts/sv-bugpoint-trace_summary) ([example](examples/caliptra_verilation_err/sv-bugpoint-trace_summarized)).
0 commit comments