File: t_constraint_before_randc_bad.out

package info (click to toggle)
verilator 5.032-1
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 93,932 kB
  • sloc: cpp: 131,288; python: 19,365; ansic: 10,234; yacc: 5,733; lex: 1,905; makefile: 1,229; sh: 489; perl: 282; fortran: 22
file content (7 lines) | stat: -rw-r--r-- 449 bytes parent folder | download 
1
2
3
4
5
6
7
 
%Error: t/t_constraint_before_randc_bad.v:11:45: Randc variables not allowed in 'solve before' (IEEE 1800-2023 18.5.9)
   11 |     constraint raint2_bad { solve b1 before b2; }   
      |                                             ^~
        t/t_constraint_before_randc_bad.v:11:29: ... Location of restricting expression
   11 |     constraint raint2_bad { solve b1 before b2; }   
      |                             ^~~~~
%Error: Exiting due to