mirror of
https://github.com/carp-lang/Carp.git
synced 2024-09-11 05:25:28 +03:00
99 lines
2.8 KiB
Plaintext
99 lines
2.8 KiB
Plaintext
(windows-only ; safe arithmetic does not currently work on windows
|
|
(quit))
|
|
|
|
(load "Test.carp")
|
|
(load "SafeInt.carp")
|
|
|
|
(use-all Bool Int Long Test)
|
|
|
|
(def i 1)
|
|
(def l 1l)
|
|
|
|
(defn return-res-int [f a b]
|
|
(let [c 0
|
|
_ false]
|
|
(do
|
|
(set! _ (f a b &c))
|
|
c)))
|
|
|
|
(defn return-res-long [f a b]
|
|
(let [c 0l
|
|
_ false]
|
|
(do
|
|
(set! _ (f a b &c))
|
|
c)))
|
|
|
|
(deftest test
|
|
(assert-equal test
|
|
false
|
|
(safe-add 1 2 &i)
|
|
"safe-add is false without overflow")
|
|
(assert-equal test
|
|
3
|
|
(return-res-int safe-add 1 2)
|
|
"safe-add really adds")
|
|
(assert-equal test
|
|
true
|
|
(safe-add 1000000000 2000000000 &i)
|
|
"safe-add is true with overflow")
|
|
(assert-equal test
|
|
false
|
|
(safe-sub 1 2 &i)
|
|
"safe-sub is false without overflow")
|
|
(assert-equal test
|
|
-1
|
|
(return-res-int safe-sub 1 2)
|
|
"safe-sub really subs")
|
|
(assert-equal test
|
|
true
|
|
(safe-sub -1000000000 2000000000 &i)
|
|
"safe-sub is true with overflow")
|
|
(assert-equal test
|
|
false
|
|
(safe-mul 1 2 &i)
|
|
"safe-mul is false without overflow")
|
|
(assert-equal test
|
|
4
|
|
(return-res-int safe-mul 2 2)
|
|
"safe-mul really muls")
|
|
(assert-equal test
|
|
true
|
|
(safe-mul 1000000000 2000000000 &i)
|
|
"safe-mul is true with overflow")
|
|
(assert-equal test
|
|
false
|
|
(safe-add 1l 2l &l)
|
|
"safe-add is false without overflow")
|
|
(assert-equal test
|
|
3l
|
|
(return-res-long safe-add 1l 2l)
|
|
"safe-add really adds")
|
|
(assert-equal test
|
|
true
|
|
(safe-add 9000000000000000000l 2000000000000000000l &l)
|
|
"safe-add is true with overflow")
|
|
(assert-equal test
|
|
false
|
|
(safe-sub 1l 2l &l)
|
|
"safe-sub is false without overflow")
|
|
(assert-equal test
|
|
-1l
|
|
(return-res-long safe-sub 1l 2l)
|
|
"safe-sub really subs")
|
|
(assert-equal test
|
|
true
|
|
(safe-sub 9000000000000000000l -2000000000000000000l &l)
|
|
"safe-sub is true with overflow")
|
|
(assert-equal test
|
|
false
|
|
(safe-mul 1l 2l &l)
|
|
"safe-mul is false without overflow")
|
|
(assert-equal test
|
|
4l
|
|
(return-res-long safe-mul 2l 2l)
|
|
"safe-mul really muls")
|
|
(assert-equal test
|
|
true
|
|
(safe-mul 9000000000000000000l 2000000000000000000l &l)
|
|
"safe-mul is true with overflow"))
|