- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for fLeqLess (0.09 sec)
-
test/fuse.go
} func fNeqNeq(a int32, f float64) bool { return a != 0 && f > Cf2 || a != 0 && f < -Cf2 // ERROR "Redirect Neq32 based on Neq32$" } func fNeqLess(a float32, f float64) bool { // TODO: Add support for floating point numbers in prove return a != 0 && f > Cf2 || a < 0 && f < -Cf2 } func fNeqLeq(a int16, f float64) bool {
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Jan 23 00:02:36 UTC 2024 - 5.3K bytes - Viewed (0)