From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id yDgWEeFdFGOo0AAAbAwnHQ (envelope-from ) for ; Sun, 04 Sep 2022 10:12:17 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id gHFNEeFdFGMi/AAA9RJhRA (envelope-from ) for ; Sun, 04 Sep 2022 10:12:17 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id D79CB202E6 for ; Sun, 4 Sep 2022 10:12:16 +0200 (CEST) Received: from localhost ([::1]:42448 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oUkjn-0008Gx-No for larch@yhetil.org; Sun, 04 Sep 2022 04:12:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:39364) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oUkja-0008Go-Ok for bug-guix@gnu.org; Sun, 04 Sep 2022 04:12:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:54712) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oUkja-0000pp-FX for bug-guix@gnu.org; Sun, 04 Sep 2022 04:12:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oUkja-0002w1-9M; Sun, 04 Sep 2022 04:12:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#57573: disarchive: Test "[prop] Writing is reversible" fails Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: samplet@ngyro.com, bug-guix@gnu.org Resent-Date: Sun, 04 Sep 2022 08:12:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 57573 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 57573@debbugs.gnu.org Cc: timothy sample X-Debbugs-Original-To: bug-guix X-Debbugs-Original-Xcc: timothy sample Received: via spool by submit@debbugs.gnu.org id=B.166227911311265 (code B ref -1); Sun, 04 Sep 2022 08:12:02 +0000 Received: (at submit) by debbugs.gnu.org; 4 Sep 2022 08:11:53 +0000 Received: from localhost ([127.0.0.1]:43410 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oUkjQ-0002vd-WC for submit@debbugs.gnu.org; Sun, 04 Sep 2022 04:11:53 -0400 Received: from lists.gnu.org ([209.51.188.17]:42298) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oUkjP-0002vW-Np for submit@debbugs.gnu.org; Sun, 04 Sep 2022 04:11:52 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38100) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oUkjG-0008Ff-Qy for bug-guix@gnu.org; Sun, 04 Sep 2022 04:11:46 -0400 Received: from icts-p-cavspool-1.kulnet.kuleuven.be ([2a02:2c40:0:c0::25:194]:38274) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oUkjC-0000pB-6V for bug-guix@gnu.org; Sun, 04 Sep 2022 04:11:40 -0400 Received: from icts-p-cavuit-1.kulnet.kuleuven.be (icts-p-cavuit-1.kulnet.kuleuven.be [IPv6:2a02:2c40:0:c0::25:132]) by icts-p-cavspool-1.kulnet.kuleuven.be (Postfix) with ESMTP id 311B410D1 for ; Sun, 4 Sep 2022 10:11:36 +0200 (CEST) X-KULeuven-Envelope-From: maxime.devos@student.kuleuven.be X-KULeuven-Scanned: Found to be clean X-KULeuven-ID: A4931205EE.AAD51 X-KULeuven-Information: Katholieke Universiteit Leuven Received: from icts-p-ceifnet-smtps-0.kuleuven.be (icts-p-ceifnet-smtps.service.icts.svcd [IPv6:2a02:2c40:0:51:181:242:ac11:13]) by icts-p-cavuit-1.kulnet.kuleuven.be (Postfix) with ESMTP id A4931205EE for ; Sun, 4 Sep 2022 10:11:10 +0200 (CEST) BCmilterd-Mark-Subject: no BCmilterd-Errors: BCmilterd-Report: X-CAV-Cluster: smtps Received: from [IPV6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16] (ptr-bvsjgyig5nh0salm0pi.18120a2.ip6.access.telenet.be [IPv6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by icts-p-ceifnet-smtps-0.kuleuven.be (Postfix) with ESMTPSA id 429BAD4FB53F8 for ; Sun, 4 Sep 2022 10:11:10 +0200 (CEST) Message-ID: <0a60e3de-9f73-28e5-1adb-af13bfc6a870@student.kuleuven.be> Date: Sun, 4 Sep 2022 10:11:08 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.12.0 Content-Language: en-US X-Kuleuven: This mail passed the K.U.Leuven mailcluster From: Maxime Devos Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a02:2c40:0:c0::25:194; envelope-from=maxime.devos@student.kuleuven.be; helo=icts-p-cavspool-1.kulnet.kuleuven.be X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1662279137; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post; bh=kDEo6eYs+gLTHkPA/aWDVvD4GMxO3l5kpnW6vED+Vzc=; b=V658QAxnXjZ2x2McChhlt4Hyi6h84iSvjN3NrUFo7zPclbrx2TDFzvF8+KcSZ888pAgUmf Adaq8S7KsYMDqLWUbQdDidPWOUNCn/y5UdTUlRpoE4JYlH+kBU6QI208+Bb7cu0Sw8UEKF eKUXBJ0o9kfsdN+xm8pL2U3XoUohwzYfuugWrjCDdS/iYCJq8iDBKAxNzfvbhXIRKeK/RA ffKwq6LeAf+A1VYedYXsbG0locuYTUk7znbdXQGLj1TB60PrSDEsNRb4+HwL69YChmzHSl ++eot0HkiRN6cCmCnhayVDVNLqM8WvOC3mQwmd92e8OkuEGCr9+J5HrHe2wCcQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1662279137; a=rsa-sha256; cv=none; b=prJq6J3pYfEy+QRxsJ9rGh8xnLaBg5z3qzFkxKp7vuDtonrMWxOD6XcQQOJaAE+H4sWHUc aoXkVvda1PIQru0BRJiohi4ToNclkrg/rEWa6yeZRwgAkopSgfK/gBD8Z+/htA52Ra+lZX x+b07hURT4zzZYJfdUkJImpRL3k8woZCR8D4+WsXmJGtMGrhORFZ2wmHmqmgev8kO1PGsc GVfbrW1OACsHxAVg27JgC/tf7DIVTiG1kOSP57808Y6YZZ7K1gfiwfhUH6AUUFkI+wyRsB xd2huBVvGF3CkU1u1+W50gzobKNIdxcpxnb0tERFySAb4QWhOPEQPUsokGYeLg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.98 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: D79CB202E6 X-Spam-Score: -2.98 X-Migadu-Scanner: scn1.migadu.com X-TUID: IhPivanIFud/ X-Debbugs-CC: Timothy Sample 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 = #< value: 0 source: #< value: > "0" trailer: "?">> > actual-value: #f > result: FAIL (This appears to be a different test failure than in ) TBI ... Greetings, Maxime.