qrt model

leouk · Dec 10, 2024 · ded4195 · ded4195
1 parent c0a6077
commit ded4195
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/experiments/vdm/SQRoot/Sqrt.vdmsl b/experiments/vdm/SQRoot/Sqrt.vdmsl
@@ -48,7 +48,7 @@ functions
 	pre
 		value >= 0
 		and 
-		err > 0 and err <= value 
+		err > 0 and err < 1 and err <= value 
 	post
 		--@OnFail("Error tolerance is too big (i.e. reduce err), RESULT=%1s, err=%2s, input=%3s", RESULT, err, value)
 		((RESULT * RESULT)-err <= value)