Commentary: Changes update

Changes

@@ -15,6 +15,7 @@ Verilator 5.045 devel
 
 * Add VERILATOR_NUMA_STRATEGY environment variable (#6826) (#6880). [Yangyu Chen]
 * Support vpi_put/vpi_get forcing of signals (#5933) (#6704). [Christian Hecken]
+* Support detailed failure info for constraint violations (#6617) (#6883). [Yilou Wang]
 * Support complex expressions as std::randomize arguments (#6860). [Jakub Wasilewski, Antmicro Ltd.]
 * Support dynamic array elements in std::randomize (#6896). [Ryszard Rozak, Antmicro Ltd.]
 * Remove deprecated `--xml-only`.

docs/guide/warnings.rst

@@ -2276,8 +2276,8 @@ List Of Warnings
 .. option:: UNSATCONSTR
 
    Warns that a ``randomize()`` call failed because one or more constraints
-   could not be satisfied. This warning is issued at simulation runtime when
-   the SMT solver determines that the combination of constraints is
+   could not be satisfied. This warning is issued at simulation runtime
+   when the SMT solver determines that the combination of constraints is
    unsatisfiable.
 
    Each unsatisfied constraint is reported with its source location to help

docs/spelling.txt

@@ -1190,6 +1190,7 @@ unopt
 unoptflat
 unoptimizable
 unroller
+unsatisfiable
 unsized
 unsup
 untyped

test_regress/t/t_assign_cont_automatic_bad.v

@@ -10,7 +10,7 @@ module t;
 
   task automatic tsk;
     reg l;
-    begin: cont_block
+    begin : cont_block
       assign g = signed'(l);  // <--- BAD: using automatic in cont assignment
     end
   endtask

test_regress/t/t_constraint_unsat.v

@@ -65,7 +65,8 @@ module t_constraint_unsat;
     tc = new;
     if (!tc.try_randomize()) begin
       $display("Expected failure: conflicting constraints detected");
-    end else begin
+    end
+    else begin
       $display("ERROR: Should have failed with conflicting constraints");
       $stop;
     end