[aslspec] fixed tick_loop_limit to match implementation

Roman-Manevich · Roman-Manevich · commit a223fd4201f8 · 2026-03-31T19:10:38.000+01:00
diff --git a/asllib/doc/asl.spec b/asllib/doc/asl.spec
@@ -10154,7 +10154,8 @@ semantics relation tick_loop_limit(v_opt: option(N)) -> (v_opt': option(N)) | TD
   }
 
   case some_error {
-    v_opt =: some(zero);
+    v_opt =: some(v);
+    v <= zero;
     --
     DynamicError(DE_LE);
   }

Original file line number	Diff line number	Diff line change
`@@ -10154,7 +10154,8 @@ semantics relation tick_loop_limit(v_opt: option(N)) -> (v_opt': option(N)) \| TD`
`10154`	`10154`	`}`
`10155`	`10155`
`10156`	`10156`	`case some_error {`
`10157`		`- v_opt =: some(zero);`
	`10157`	`+ v_opt =: some(v);`
	`10158`	`+ v <= zero;`
`10158`	`10159`	`--`
`10159`	`10160`	`DynamicError(DE_LE);`
`10160`	`10161`	`}`