From: Maxime Devos <maxime.devos@student.kuleuven.be>
To: 57573@debbugs.gnu.org
Cc: timothy sample <samplet@ngyro.com>
Subject: bug#57573: disarchive: Test "[prop] Writing is reversible" fails
Date: Sun, 4 Sep 2022 10:11:08 +0200 [thread overview]
Message-ID: <0a60e3de-9f73-28e5-1adb-af13bfc6a870@student.kuleuven.be> (raw)
X-Debbugs-CC: Timothy Sample <samplet@ngyro.com>
Hi,
disarchive fails to build (on core-updates, more precisely as part of
the antiox jobset on ci.guix.gnu.org).
The failing test is:
> test-name: [prop] Writing is reversible
> location: tests/kinds/octal.scm:128
> source:
> + (test-assert
> + "[prop] Writing is reversible"
> + (quickcheck
> + (property
> + ((octal $octal))
> + (test-when
> + (valid-octal? octal)
> + (begin
> + (equal?
> + octal
> + (decode-octal (encode-octal octal))))))))
> Falsifiable after 25 tests.
> Seed: 318171092
> octal = #<<unstructured-octal> value: 0 source: #<<zero-string> value:
> "0" trailer: "?">>
> actual-value: #f
> result: FAIL
(This appears to be a different test failure than in
<https://issues.guix.gnu.org/48114>)
TBI ...
Greetings,
Maxime.
next reply other threads:[~2022-09-04 8:12 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-09-04 8:11 Maxime Devos [this message]
2022-09-04 8:24 ` bug#57573: disarchive: Test "[prop] Writing is reversible" fails Maxime Devos
2022-09-04 9:05 ` Maxime Devos
2022-09-08 18:21 ` Timothy Sample
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0a60e3de-9f73-28e5-1adb-af13bfc6a870@student.kuleuven.be \
--to=maxime.devos@student.kuleuven.be \
--cc=57573@debbugs.gnu.org \
--cc=samplet@ngyro.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.