aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/test
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/test')
-rw-r--r--new-luxc/test/test/luxc/lang/translation/common.lux37
1 files changed, 0 insertions, 37 deletions
diff --git a/new-luxc/test/test/luxc/lang/translation/common.lux b/new-luxc/test/test/luxc/lang/translation/common.lux
index 03e56fa18..f03965de2 100644
--- a/new-luxc/test/test/luxc/lang/translation/common.lux
+++ b/new-luxc/test/test/luxc/lang/translation/common.lux
@@ -325,42 +325,6 @@
#0))))
)))
-(def: (box-spec run)
- (-> Runner Test)
- (do r.Monad<Random>
- [pre r.nat
- post (|> r.nat (r.filter (|>> (n/= pre) not)))
- #let [preS (synthesis.i64 pre)
- postS (synthesis.i64 post)
- boxS (#synthesis.Extension "lux box new"
- (list preS))]]
- ($_ seq
- (test "Can read boxes."
- (|> (run (#synthesis.Extension "lux box read" (list boxS)))
- (case> (#e.Success valueV)
- (n/= pre (:coerce Nat valueV))
-
- (#e.Error error)
- (exec (log! error)
- #0))))
- (test "Can write boxes."
- (|> (run (synthesis.branch/let
- [boxS
- 0
- (synthesis.branch/let
- [(#synthesis.Extension "lux box write"
- (list postS (synthesis.variable/local 0)))
- 1
- (#synthesis.Extension "lux box read"
- (list (synthesis.variable/local 0)))])]))
- (case> (#e.Success valueV)
- (n/= post (:coerce Nat valueV))
-
- (#e.Error error)
- (exec (log! error)
- #0))))
- )))
-
(def: (all-specs run)
(-> Runner Test)
($_ seq
@@ -369,7 +333,6 @@
(f64-spec run)
(text-spec run)
(io-spec run)
- (box-spec run)
))
(context: "[JVM] Common procedures."