search

YosysHQ / scy

Sequence of Covers with Yosys
Other
5 stars 1 forks source link

Improved error reporting when a cover property name isn't actually present in the design #2

Closed clairexen closed 1 year ago

clairexen commented 1 year ago

In this case the missing property is "r0c7" (!) ;) 

SCY 16:13:52 cover r0c6: starting process (cd bigtrace && sby -f L022_021_r0c6.sby)
SCY 16:13:58 cover r0c6: finished (returncode=0)
SCY 16:13:58 cover r0c7: generating bigtrace/L023_022_r0c7.sby
SCY 16:13:58 cover r0c7: starting process (cd bigtrace && sby -f L023_022_r0c7.sby)
SCY 16:13:59 cover r0c7: finished (returncode=0)
SCY 16:13:59 cover r0c8: generating bigtrace/L024_023_r0c8.sby
SCY 16:13:59 cover r0c8: starting process (cd bigtrace && sby -f L024_023_r0c8.sby)
SCY 16:13:59 cover r0c8: finished (returncode=1)
SCY 16:13:59 cover r0c8: ERROR: L024_023_r0c8.sby produced an error, see bigtrace/L024_023_r0c8/logfile.txt for more information
claire@lamarr:~/Work/sey/prototype$ cat bigtrace/L024_023_r0c8/logfile.txt
SBY 16:13:59 [L024_023_r0c8] Removing directory '/home/claire/Work/sey/prototype/bigtrace/L024_023_r0c8'.
SBY 16:13:59 [L024_023_r0c8] Copy '/home/claire/Work/sey/prototype/bigtrace/common/model/design_prep.il' to '/home/claire/Work/sey/prototype/bigtrace/L024_023_r0c8/src/common_design.il'.
SBY 16:13:59 [L024_023_r0c8] Copy '/home/claire/Work/sey/prototype/bigtrace/L023_022_r0c7/src/trace017.yw' to '/home/claire/Work/sey/prototype/bigtrace/L024_023_r0c8/src/trace017.yw'.
SBY 16:13:59 [L024_023_r0c8] Copy '/home/claire/Work/sey/prototype/bigtrace/L023_022_r0c7/src/trace018.yw' to '/home/claire/Work/sey/prototype/bigtrace/L024_023_r0c8/src/trace018.yw'.
SBY 16:13:59 [L024_023_r0c8] Copy '/home/claire/Work/sey/prototype/bigtrace/L023_022_r0c7/src/trace019.yw' to '/home/claire/Work/sey/prototype/bigtrace/L024_023_r0c8/src/trace019.yw'.
SBY 16:13:59 [L024_023_r0c8] Copy '/home/claire/Work/sey/prototype/bigtrace/L023_022_r0c7/src/trace020.yw' to '/home/claire/Work/sey/prototype/bigtrace/L024_023_r0c8/src/trace020.yw'.
SBY 16:13:59 [L024_023_r0c8] Copy '/home/claire/Work/sey/prototype/bigtrace/L023_022_r0c7/src/trace021.yw' to '/home/claire/Work/sey/prototype/bigtrace/L024_023_r0c8/src/trace021.yw'.
SBY 16:13:59 [L024_023_r0c8] Copy '/home/claire/Work/sey/prototype/bigtrace/L023_022_r0c7/src/trace022.yw' to '/home/claire/Work/sey/prototype/bigtrace/L024_023_r0c8/src/trace022.yw'.
SBY 16:13:59 [L024_023_r0c8] Copy '/home/claire/Work/sey/prototype/bigtrace/L023_022_r0c7/engine_0/trace0.yw' to '/home/claire/Work/sey/prototype/bigtrace/L024_023_r0c8/src/trace023.yw'.
claire@lamarr:~/Work/sey/prototype$