[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet-scheme] 02/09: bv-slice-quickcheck: Implement xform.
From: |
gnunet |
Subject: |
[gnunet-scheme] 02/09: bv-slice-quickcheck: Implement xform. |
Date: |
Sat, 03 Dec 2022 14:14:32 +0100 |
This is an automated email from the git hooks/post-receive script.
maxime-devos pushed a commit to branch master
in repository gnunet-scheme.
commit bfd1b6200b354a7cbc98437c050b030b1aafd5f4
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Sat Dec 3 12:58:00 2022 +0100
bv-slice-quickcheck: Implement xform.
(Untested)
* gnu/gnunet/utils/bv-slice.scm ($arbitrary-lift): Remove.
($sized-bytevector,$sized-bytevector-slice/read-write)
($sized-bytevector-slice/read-only): Replace $arbitrary-lift with
$record.
---
gnu/gnunet/utils/bv-slice-quickcheck.scm | 24 ++++++++++--------------
1 file changed, 10 insertions(+), 14 deletions(-)
diff --git a/gnu/gnunet/utils/bv-slice-quickcheck.scm
b/gnu/gnunet/utils/bv-slice-quickcheck.scm
index ba3345e..d6b7069 100644
--- a/gnu/gnunet/utils/bv-slice-quickcheck.scm
+++ b/gnu/gnunet/utils/bv-slice-quickcheck.scm
@@ -21,30 +21,26 @@
(define-library (gnu gnunet utils bv-slice-quickcheck)
(export $sized-bytevector-slice/read-write
$sized-bytevector-slice/read-only)
- (import (only (rnrs base) define apply map begin)
- (only (quickcheck arbitrary) arbitrary arbitrary-gen)
- (only (quickcheck generator) generator-lift choose-bytevector)
+ (import (only (rnrs base) define begin)
+ (only (quickcheck arbitrary)
+ arbitrary arbitrary-xform $bytevector $record)
+ (only (quickcheck generator) choose-bytevector)
(only (gnu gnunet utils bv-slice)
- bv-slice/read-write bv-slice/read-only))
+ bv-slice/read-write bv-slice/read-only slice-copy/bytevector))
(begin
- ;; TODO upstream
- (define ($arbitrary-lift f . a)
- (arbitrary
- (gen (apply generator-lift f (map arbitrary-gen a)))
- ;; TODO
- (xform #false)))
-
;; TODO upstream
(define ($sized-bytevector size)
(arbitrary
(gen (choose-bytevector size))
- (xform #false))) ; TODO
+ (xform (arbitrary-xform $bytevector))))
(define ($sized-bytevector-slice/read-write size)
"Arbitrary fresh read-write bytevector slices of @var{size} octets."
- ($arbitrary-lift bv-slice/read-write ($sized-bytevector size)))
+ ($record bv-slice/read-write
+ (slice-copy/bytevector ($sized-bytevector size))))
(define ($sized-bytevector-slice/read-only size)
"Arbitrary read-only bytevector slices of @var{size} octets."
;; Currently fresh, but not guaranteed.
- ($arbitrary-lift bv-slice/read-only ($sized-bytevector size)))))
+ ($record bv-slice/read-only
+ (slice-copy/bytevector ($sized-bytevector size))))))
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.
- [gnunet-scheme] branch master updated (0ea9aa3 -> 8e9c3b8), gnunet, 2022/12/03
- [gnunet-scheme] 04/09: Define arbitraries for generating hashcodes., gnunet, 2022/12/03
- [gnunet-scheme] 01/09: Define arbitraries for generating bytevector slices., gnunet, 2022/12/03
- [gnunet-scheme] 02/09: bv-slice-quickcheck: Implement xform.,
gnunet <=
- [gnunet-scheme] 05/09: hashcode/quickcheck: Fix use of $sized-bytevector-slice/read-only., gnunet, 2022/12/03
- [gnunet-scheme] 08/09: Extract test-roundtrip from tests/cadet., gnunet, 2022/12/03
- [gnunet-scheme] 09/09: tests/file-sharing: Test request-loc-signature round-tripping., gnunet, 2022/12/03
- [gnunet-scheme] 03/09: doc/bytevector-slices: Fix tenses., gnunet, 2022/12/03
- [gnunet-scheme] 07/09: fs/quickcheck: Correct module name., gnunet, 2022/12/03
- [gnunet-scheme] 06/09: fs/quickcheck: Define arbitraries for generating FS structures., gnunet, 2022/12/03