Re-enable soft sublength now that bare-var constraint is fixed

2026-03-03 09:49:10 +01:00 · 2026-03-03 09:49:10 +01:00 · 39cb1699c2
parent a08c67685d
commit 39cb1699c2
1 changed files with 2 additions and 2 deletions
--- a/test_regress/t/t_randomize.v
+++ b/test_regress/t/t_randomize.v
@ -43,8 +43,8 @@ class Packet;
   constraint order { solve length before header; }

   constraint dis {
-      // TODO: re-enable when soft+dist interaction is fixed
-      // soft sublength;
+      soft sublength;
+      // TODO: disable soft not yet supported, treated as hard constraint
      // disable soft sublength;
      sublength <= length;
   }