From 5f15b52079bd4ce7638cbfbc1c63cea53e4ffec7 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 7 Feb 2019 20:06:45 -0400 Subject: - Removed the current usage of data-integrity measures. - TBD: New measures. --- stdlib/source/test/lux/world/file.lux | 12 ++++-------- stdlib/source/test/lux/world/net/udp.lux | 8 +++----- 2 files changed, 7 insertions(+), 13 deletions(-) (limited to 'stdlib/source/test') diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index b3693f207..4beb4fd69 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -2,9 +2,7 @@ [lux #* ["." io (#+ IO)] [control - [monad (#+ do)] - [security - ["." integrity (#+ Dirty)]]] + [monad (#+ do)]] [concurrency ["." promise]] [data @@ -58,7 +56,7 @@ _ (:: file over-write data) content (:: file content []) _ (:: file delete [])] - (wrap (:: binary.equivalence = data (integrity.trust content)))))] + (wrap (:: binary.equivalence = data content))))] (assert "Can write/read files." (error.default #0 result))))) @@ -98,12 +96,10 @@ (wrap (and (n/= (n/* 2 file-size) read-size) (:: binary.equivalence = dataL - (error.assume (binary.slice 0 (dec file-size) - (integrity.trust content)))) + (error.assume (binary.slice 0 (dec file-size) content))) (:: binary.equivalence = dataR - (error.assume (binary.slice file-size (dec read-size) - (integrity.trust content))))))))] + (error.assume (binary.slice file-size (dec read-size) content)))))))] (assert "Can append to files." (error.default #0 result)))) (wrap (do promise.monad diff --git a/stdlib/source/test/lux/world/net/udp.lux b/stdlib/source/test/lux/world/net/udp.lux index 2b85958fa..d3d2531f9 100644 --- a/stdlib/source/test/lux/world/net/udp.lux +++ b/stdlib/source/test/lux/world/net/udp.lux @@ -1,9 +1,7 @@ (.module: [lux #* [control - [monad (#+ do)] - [security - ["." integrity]]] + [monad (#+ do)]] [concurrency ["." promise]] [data @@ -45,12 +43,12 @@ _ (:: client write [[localhost port] from]) [bytes-from [from-address from-port] temp] (:: server read size) #let [from-worked? (and (n/= size bytes-from) - (:: binary.equivalence = from (integrity.trust temp)))] + (:: binary.equivalence = from temp))] #################### _ (:: server write [[from-address from-port] to]) [bytes-to [to-address to-port] temp] (:: client read size) #let [to-worked? (and (n/= size bytes-to) - (:: binary.equivalence = to (integrity.trust temp)) + (:: binary.equivalence = to temp) (n/= port to-port))] #################### _ (:: client close []) -- cgit v1.2.3