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

Change naming of some variables and fix string/conj-char

Browse Source 
This fixes `string/conj-char` to actually run the correct instruction instead of `string/concat`.

Additionally, changes the name of some variables.
This commit is contained in:
Erik Rauer 2021-03-16 22:49:49 -05:00
parent ca311c9f36
commit 54e0901040
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,11 +1,12 @@
(ns propeller.push.instructions.string-spec
(:require
[clojure.string :as string]
[clojure.test.check.generators :as gen]
[clojure.test.check.properties :as prop]
[clojure.test.check.clojure-test :as ct :refer [defspec]]
[propeller.push.state :as state]
[propeller.push.core :as core]
[propeller.push.instructions.string :as string]))
[propeller.push.instructions.string :as string-instructions]))
;; string/butlast
@ -21,8 +22,8 @@
(state/peek-stack end-state :string))))
(defspec butlast-spec 100
(prop/for-all [s gen/string]
(check-butlast s)))
(prop/for-all [str gen/string]
(check-butlast str)))
;; string/concat
@ -38,9 +39,9 @@
(state/peek-stack end-state :string))))
(defspec concat-spec 100
(prop/for-all [s1 gen/string
s2 gen/string]
(check-concat s1 s2)))
(prop/for-all [str1 gen/string
str2 gen/string]
(check-concat str1 str2)))
;; string/conj-char
@ -50,7 +51,7 @@
(let [start-state (-> state/empty-state
(state/push-to-stack :string value)
(state/push-to-stack :char char))
end-state ((:string_concat @core/instruction-table) start-state)
end-state ((:string_conj-char @core/instruction-table) start-state)
expected-result (str value char)]
(= expected-result
(state/peek-stack end-state :string))))