rowan.a.tl/propeller
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added more tests

Browse Source
This commit is contained in:
Julia Schor 2022-01-14 20:48:22 -05:00
parent 38aa695bad
commit a8a2532b4b
1 changed files with 103 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

102
test/propeller/push/instructions/bool_spec.clj
View File

@ -19,6 +19,10 @@
expected-result (and value1 value2)] expected-result (and value1 value2)]
(= expected-result (= expected-result
(state/peek-stack end-state :boolean)))) (state/peek-stack end-state :boolean))))
(defspec and-spec 100
(prop/for-all [bool1 gen/boolean
bool2 gen/boolean]
(check-and bool1 bool2)))
;; boolean/or ;; boolean/or
(defn check-or (defn check-or
@ -30,3 +34,101 @@
expected-result (or value1 value2)] expected-result (or value1 value2)]
(= expected-result (= expected-result
(state/peek-stack end-state :boolean)))) (state/peek-stack end-state :boolean))))
(defspec or-spec 100
(prop/for-all [bool1 gen/boolean
bool2 gen/boolean]
(check-or bool1 bool2)))
;; boolean/not
(defn check-not
[value1]
(let [start-state (-> state/empty-state
(state/push-to-stack :boolean value1))
end-state ((:boolean_not @instructions/instruction-table) start-state)
expected-result (not value1)]
(= expected-result
(state/peek-stack end-state :boolean))))
(defspec not-spec 100
(prop/for-all [bool1 gen/boolean]
(check-not bool1)))
;; boolean/xor
(defn xor [bool1 bool2]
(not (= bool1 bool2)))
(defn check-xor
[value1 value2]
(let [start-state (-> state/empty-state
(state/push-to-stack :boolean value1)
(state/push-to-stack :boolean value2))
end-state ((:boolean_xor @instructions/instruction-table) start-state)
expected-result (xor value1 value2)]
(= expected-result
(state/peek-stack end-state :boolean))))
(defspec xor-spec 100
(prop/for-all [bool1 gen/boolean
bool2 gen/boolean]
(check-xor bool1 bool2)))
;; boolean/invert-first-then-and
(defn check-invert-first-then-and
[value1 value2]
(let [start-state (-> state/empty-state
(state/push-to-stack :boolean value1)
(state/push-to-stack :boolean value2))
end-state ((:boolean_invert_first_then_and @instructions/instruction-table) start-state)
expected-result (and (not value1) value2)]
(= expected-result
(state/peek-stack end-state :boolean))))
(defspec invert-first-then-and-spec 100
(prop/for-all [bool1 gen/boolean
bool2 gen/boolean]
(check-invert-first-then-and bool1 bool2)))
;; boolean/invert-second-then-and
(defn check-invert-second-then-and
[value1 value2]
(let [start-state (-> state/empty-state
(state/push-to-stack :boolean value1)
(state/push-to-stack :boolean value2))
end-state ((:boolean_invert_second_then_and @instructions/instruction-table) start-state)
expected-result (and value1 (not value2))]
(= expected-result
(state/peek-stack end-state :boolean))))
(defspec invert-second-then-and-spec 100
(prop/for-all [bool1 gen/boolean
bool2 gen/boolean]
(check-invert-second-then-and bool1 bool2)))
;; boolean/from-float
(defn check-boolean-from-float
[value1]
(let [start-state (-> state/empty-state
(state/push-to-stack :float value1))
end-state ((:boolean_from_float @instructions/instruction-table) start-state)
expected-result (not (= value1 0.0))]
(= expected-result
(state/peek-stack end-state :boolean))))
(defspec boolean-from-integer-spec 100
(prop/for-all [int1 gen/double]
(check-not int1)))
;; boolean/from-integer
(defn check-boolean-from-float
[value1]
(let [start-state (-> state/empty-state
(state/push-to-stack :integer value1))
end-state ((:boolean_from_integer @instructions/instruction-table) start-state)
expected-result (not (= value1 0))]
(= expected-result
(state/peek-stack end-state :boolean))))
(defspec boolean-from-integer-spec 100
(prop/for-all [integer1 gen/double]
(check-not integer1)))