diff --git a/Changes b/Changes
index 0a1a5cf29..d27dbef2b 100644
--- a/Changes
+++ b/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`.
diff --git a/docs/guide/warnings.rst b/docs/guide/warnings.rst
index 02aa57cb2..9f7853543 100644
--- a/docs/guide/warnings.rst
+++ b/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
diff --git a/docs/spelling.txt b/docs/spelling.txt
index c2850decb..21345440b 100644
--- a/docs/spelling.txt
+++ b/docs/spelling.txt
@@ -1190,6 +1190,7 @@ unopt
 unoptflat
 unoptimizable
 unroller
+unsatisfiable
 unsized
 unsup
 untyped
diff --git a/test_regress/t/t_assign_cont_automatic_bad.v b/test_regress/t/t_assign_cont_automatic_bad.v
index 88911ad28..7f1cba0f1 100644
--- a/test_regress/t/t_assign_cont_automatic_bad.v
+++ b/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
diff --git a/test_regress/t/t_constraint_unsat.v b/test_regress/t/t_constraint_unsat.v
index f50c8d765..5bbf0b3f1 100755
--- a/test_regress/t/t_constraint_unsat.v
+++ b/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