GNU bug report logs - #57573
disarchive: Test "[prop] Writing is reversible" fails

Previous Next

Package: guix;

Reported by: Maxime Devos <maxime.devos <at> student.kuleuven.be>

Date: Sun, 4 Sep 2022 08:12:02 UTC

Severity: normal

Full log


View this message in rfc822 format

From: Maxime Devos <maxime.devos <at> student.kuleuven.be>
To: 57573 <at> debbugs.gnu.org
Cc: timothy sample <samplet <at> ngyro.com>
Subject: bug#57573: disarchive: Test "[prop] Writing is reversible" fails
Date: Sun, 4 Sep 2022 10:11:08 +0200
X-Debbugs-CC: Timothy Sample <samplet <at> 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.





This bug report was last modified 2 years and 283 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.