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

Add a test for string/from-char

Browse Source 
This adds a test for the `string/from-char` instruction
This commit is contained in:
Erik Rauer 2021-03-18 23:11:31 -05:00
parent d3b876492c
commit 2da8ef6de5
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
test/propeller/push/instructions/string_spec.clj
View File

@ -176,6 +176,21 @@
(= expected-result (= expected-result
(state/peek-stack end-state :string)))) (state/peek-stack end-state :string))))
(defspec from-char-spec 10 (defspec from-char-spec 100
(prop/for-all [char gen/char] (prop/for-all [char gen/char]
(check-from-char char))) (check-from-char char)))
;; string/from-float
(defn check-from-float
[value]
(let [start-state (state/push-to-stack state/empty-state :float value)
end-state ((:string_from_float @core/instruction-table) start-state)
expected-result (str value)]
(= expected-result
(state/peek-stack end-state :string))))
(defspec from-float-spec 100
(prop/for-all [float gen/double]
(check-from-boolean float)))