assert_nn_le std spec fix

Julek · Julek · commit e45ffbb35f37 · 2023-03-29T15:20:22.000+01:00
diff --git a/src/Horus/SW/Std.hs b/src/Horus/SW/Std.hs
@@ -68,7 +68,7 @@ stdSpecsList =
   ,
     ( "starkware.cairo.common.math.assert_nn_le"
     , emptyFuncSpec
-        { fs_post = 0 .<= memory (fp - 4) .&& memory (fp - 4) .<= memory (fp - 3)
+        { fs_post = 0 .<= memory (fp - 4) .&& memory (fp - 4) .<= memory (fp - 3) .&& memory (fp - 3) .<= rcBound
         }
     )
   ,

Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,7 @@ stdSpecsList =`
`68`	`68`	`,`
`69`	`69`	`( "starkware.cairo.common.math.assert_nn_le"`
`70`	`70`	`, emptyFuncSpec`
`71`		`- { fs_post = 0 .<= memory (fp - 4) .&& memory (fp - 4) .<= memory (fp - 3)`
	`71`	`+ { fs_post = 0 .<= memory (fp - 4) .&& memory (fp - 4) .<= memory (fp - 3) .&& memory (fp - 3) .<= rcBound`
`72`	`72`	`}`
`73`	`73`	`)`
`74`	`74`	`,`