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

Add test for string/drop

Browse Source 
This adds a test for the `string/drop` instruction
This commit is contained in:
Erik Rauer 2021-03-16 23:22:40 -05:00
parent f14d738669
commit 19b67cdfec
1 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -96,9 +96,21 @@
(prop/for-all [str gen/string (prop/for-all [str gen/string
char gen/char] char gen/char]
(check-contains-char str char))) (check-contains-char str char)))
;; string/drop
(defn check-drop
[value n]
(let [start-state (-> state/empty-state
(state/push-to-stack :string value)
(state/push-to-stack :integer n))
end-state ((:string_drop @core/instruction-table) start-state)
expected-result (apply str (drop n value))]
(= expected-result
(state/peek-stack end-state :string)))) (state/peek-stack end-state :string))))
(defspec contains-char-spec 100 (defspec drop-spec 100
(prop/for-all [str gen/string (prop/for-all [str gen/string
char gen/string] int gen/small-integer]
(check-concat str char))) (check-drop str int)))