Open mtshiba opened 1 year ago
...
assert abs(1.0 - 1.2) >= 1.0
passed
AssertionError
This seems to be due to the fact that the result of abs is inferred to be Nat; converting 0.2 to Nat yields 0.
abs
Nat
0.2
0
0.6.5
None
Describe the bug?
...
Reproducible code
Expected result
passed
Actual result
AssertionError
Additional context
This seems to be due to the fact that the result of
absis inferred to beNat; converting0.2toNatyields0.Erg version
0.6.5
Python version
None
OS
None