Guile 3.0.7 test suite fails non-deterministically

OpenSubmitted by ogmtau.
Details
3 participants
  • Leo Famulari
  • Ludovic Courtès
  • ogmtau
Owner
unassigned
Severity
important
Merged with
O
O
ogmtau wrote on 13 May 02:36 +0200
FYI: Guix 1.3.0 "guix pull" error
(name . bug-guix@gnu.org)(address . bug-guix@gnu.org)
cmmE3jQM6eHjwBIlGxXO3P1bwnJIOnGuwXQwfSRY80jtVUsTIV-4U95Q4KHaZ8EpUINLtll1Sq6hflV3EOWmDm3qfshFtNhivwL-72o-sLI=@protonmail.com
Installed Guix 1.3.0 on bare metal, not in a virtual machine.
Attached file guix-pull-error.txt is console output.
Attached file lshw.txt is output from the lshw command.
=========================================λf.(λx.f(xx))(λx.f(xx)) ᚛ᚄᚂᚐᚅ  ᚐᚌᚐᚈ᚜
Sent with [ProtonMail](https://protonmail.com) Secure Email.
Attachment: file
tdr@idpdguix ~$ guix pullUpdating channel 'guix' from Git repository at 'https://git.savannah.gnu.org/git/guix.git'...Authenticating channel 'guix', commits 9edb3f6 to 696cf48 (5 new commits)...Building from this channel: guix https://git.savannah.gnu.org/git/guix.git 696cf48substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0% compute-guix-derivation 1KiB 89KiB/s 00:00 [##################] 100.0%substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0%substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0%substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0% po4a-0.61 1.6MiB 1.8MiB/s 00:01 [##################] 100.0%building /gnu/store/l3k1n1d8zxni80jpxxgzjqrg5yzaj7sl-guile-3.0.7.drv.../ 'check' phaseBacktrace: 13 (primitive-load "/gnu/store/2pwr6pr8x583x0fl1wlr9cah6nr46fkk-compute-guix-derivation")In ice-9/eval.scm: 155:9 12 (_ _) 159:9 11 (_ #(#(#(#(#(#(#(#(#(#(#(#(#(#(#(#(#<directory (guile-u?> ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?))In ice-9/boot-9.scm: 152:2 10 (with-fluid* _ _ _) 152:2 9 (with-fluid* _ _ _)In ./guix/store.scm: 2076:24 8 (run-with-store #<store-connection 256.99 7fc2522183c0> _ #:guile-for-build _ #:system _ #:target _) 1910:8 7 (_ _)In ./guix/gexp.scm: 256:18 6 (_ _) 1137:2 5 (_ _) 1003:2 4 (_ _) 849:4 3 (_ _)In ./guix/store.scm: 1958:12 2 (_ #<store-connection 256.99 7fc2522183c0>) 1372:5 1 (map/accumulate-builds #<store-connection 256.99 7fc2522183c0> _ _) 1383:15 0 (_ #<store-connection 256.99 7fc2522183c0> _ _)
./guix/store.scm:1383:15: ERROR: 1. &store-protocol-error: message: "build of `/gnu/store/qn3022kzrgwzyh1g551zz2yx7n61c8cr-guix-daemon-1.3.0-1.771b866.drv' failed" status: 100guix pull: error: You found a bug: the program '/gnu/store/2pwr6pr8x583x0fl1wlr9cah6nr46fkk-compute-guix-derivation'failed to compute the derivation for Guix (version: "696cf48b98ad4ef03c88cdb5a83c739618c8fa16"; system: "x86_64-linux";host version: "1.3.0"; pull-version: 1).Please report it by email to <bug-guix@gnu.org>.
tdr@idpdguix ~$
idpdguix description: Notebook product: 80SA (LENOVO_MT_80SA_BU_idea_FM_Lenovo ideapad FLEX 4-1470) vendor: LENOVO version: Lenovo ideapad FLEX 4-1470 serial: MP13CE9P width: 64 bits capabilities: smbios-2.8 dmi-2.8 smp vsyscall32 configuration: administrator_password=disabled boot=normal chassis=notebook family=IDEAPAD frontpanel_password=disabled keyboard_password=disabled power-on_password=disabled sku=LENOVO_MT_80SA_BU_idea_FM_Lenovo ideapad FLEX 4-1470 uuid=3C72F22F-5B1E-E611-B27E-1C3947C5F5C7 *-core description: Motherboard product: Lenovo ideapad F vendor: LENOVO physical id: 0 version: SDK0J40709 WIN serial: MP13CE9P slot: Type2 - Board Chassis Location *-firmware description: BIOS vendor: LENOVO physical id: 0 version: 0VCN18WW(V1.03) date: 05/17/2016 size: 128KiB capacity: 6MiB capabilities: pci upgrade shadowing cdboot bootselect edd int13floppynec int13floppytoshiba int13floppy360 int13floppy1200 int13floppy720 int13floppy2880 int9keyboard int10video acpi usb biosbootspecification uefi *-cpu description: CPU product: Intel(R) Core(TM) i5-6200U CPU @ 2.30GHz vendor: Intel Corp. physical id: 4 bus info: cpu@0 version: Intel(R) Core(TM) i5-6200U CPU @ 2.30GHz serial: To Be Filled By O.E.M. slot: U3E1 size: 2719MHz capacity: 4005MHz width: 64 bits clock: 100MHz capabilities: lm fpu fpu_exception wp vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp x86-64 constant_tsc art arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb invpcid_single pti fsgsbase tsc_adjust bmi1 avx2 smep bmi2 erms invpcid mpx rdseed adx smap clflushopt intel_pt xsaveopt xsavec xgetbv1 xsaves dtherm ida arat pln pts hwp hwp_notify hwp_act_window hwp_epp cpufreq configuration: cores=2 enabledcores=2 threads=4 *-cache:0 description: L1 cache physical id: 6 slot: L1 Cache size: 64KiB capacity: 64KiB capabilities: synchronous internal write-back instruction configuration: level=1 *-cache:1 description: L2 cache physical id: 7 slot: L2 Cache size: 512KiB capacity: 512KiB capabilities: synchronous internal write-back unified configuration: level=2 *-cache:2 description: L3 cache physical id: 8 slot: L3 Cache size: 3MiB capacity: 3MiB capabilities: synchronous internal write-back unified configuration: level=3 *-cache description: L1 cache physical id: 5 slot: L1 Cache size: 64KiB capacity: 64KiB capabilities: synchronous internal write-back data configuration: level=1 *-memory description: System Memory physical id: 26 slot: System board or motherboard size: 8GiB *-bank:0 description: SODIMM DDR4 Synchronous 2133 MHz (0.5 ns) product: RMSA3230KB78HAF2133 vendor: Fujitsu physical id: 0 serial: 03602400 slot: ChannelA-DIMM0 size: 8GiB width: 64 bits clock: 2133MHz (0.5ns) *-bank:1 description: [empty] physical id: 1 slot: ChannelA-DIMM1 *-bank:2 description: [empty] physical id: 2 slot: ChannelB-DIMM0 *-bank:3 description: [empty] physical id: 3 slot: ChannelB-DIMM1 *-pci physical id: 100 bus info: pci@0000:00:00.0 version: 08 width: 32 bits clock: 33MHz configuration: driver=skl_uncore resources: irq:0 *-display physical id: 2 bus info: pci@0000:00:02.0 version: 07 width: 64 bits clock: 33MHz capabilities: pciexpress msi pm bus_master cap_list rom configuration: driver=i915 latency=0 resources: irq:131 memory:b1000000-b1ffffff memory:a0000000-afffffff ioport:6000(size=64) memory:c0000-dffff *-usb physical id: 14 bus info: pci@0000:00:14.0 version: 21 width: 64 bits clock: 33MHz capabilities: pm msi bus_master cap_list configuration: driver=xhci_hcd latency=0 resources: irq:126 memory:b3300000-b330ffff *-usbhost:0 product: xHCI Host Controller vendor: Linux 5.11.15-gnu xhci-hcd physical id: 0 bus info: usb@1 logical name: usb1 version: 5.11 capabilities: usb-2.00 configuration: driver=hub slots=12 speed=480Mbit/s *-usb:0 description: Keyboard product: USB Receiver vendor: Logitech physical id: 3 bus info: usb@1:3 version: 12.09 capabilities: usb-2.00 configuration: driver=usbhid maxpower=98mA speed=12Mbit/s *-usb:1 description: Bluetooth wireless interface physical id: 7 bus info: usb@1:7 version: 0.01 capabilities: bluetooth usb-2.00 configuration: driver=btusb maxpower=100mA speed=12Mbit/s *-usbhost:1 product: xHCI Host Controller vendor: Linux 5.11.15-gnu xhci-hcd physical id: 1 bus info: usb@2 logical name: usb2 version: 5.11 capabilities: usb-3.00 configuration: driver=hub slots=6 speed=5000Mbit/s *-generic:0 physical id: 14.2 bus info: pci@0000:00:14.2 version: 21 width: 64 bits clock: 33MHz capabilities: pm msi bus_master cap_list configuration: driver=intel_pch_thermal latency=0 resources: irq:18 memory:b332a000-b332afff *-generic:1 physical id: 15 bus info: pci@0000:00:15.0 version: 21 width: 64 bits clock: 33MHz capabilities: pm bus_master cap_list configuration: driver=intel-lpss latency=0 resources: irq:16 memory:b332b000-b332bfff *-generic:2 physical id: 15.1 bus info: pci@0000:00:15.1 version: 21 width: 64 bits clock: 33MHz capabilities: pm bus_master cap_list configuration: driver=intel-lpss latency=0 resources: irq:17 memory:b332c000-b332cfff *-communication UNCLAIMED physical id: 16 bus info: pci@0000:00:16.0 version: 21 width: 64 bits clock: 33MHz capabilities: pm msi cap_list configuration: latency=0 resources: memory:b332d000-b332dfff *-sata physical id: 17 bus info: pci@0000:00:17.0 logical name: scsi0 version: 21 width: 32 bits clock: 66MHz capabilities: sata msi pm bus_master cap_list emulated configuration: driver=ahci latency=0 resources: irq:127 memory:b3328000-b3329fff memory:b3330000-b33300ff ioport:6080(size=8) ioport:6088(size=4) ioport:6060(size=32) memory:b332e000-b332e7ff *-disk description: ATA Disk product: LITEON CV3-DE256 physical id: 0.0.0 bus info: scsi@0:0.0.0 logical name: /dev/sda version: 201 serial: SD0L02316L1TH65102W7 size: 238GiB (256GB) capabilities: gpt-1.00 partitioned partitioned:gpt configuration: ansiversion=5 guid=15b3b6b3-4664-4682-aa49-79107500c723 logicalsectorsize=512 sectorsize=512 *-volume:0 UNCLAIMED description: Windows FAT volume vendor: mkfs.fat physical id: 1 bus info: scsi@0:0.0.0,1 version: FAT32 serial: 0bd1-1968 size: 547MiB capacity: 548MiB capabilities: boot fat initialized configuration: FATs=2 filesystem=fat *-volume:1 description: Linux swap volume vendor: Linux physical id: 2 bus info: scsi@0:0.0.0,2 logical name: /dev/sda2 version: 1 serial: 469da8b5-79c8-40de-85c8-0f6087e00aa2 size: 3813MiB capacity: 3813MiB capabilities: nofs swap initialized configuration: filesystem=swap pagesize=4095 *-volume:2 description: EXT4 volume vendor: Linux physical id: 3 bus info: scsi@0:0.0.0,3 logical name: /dev/sda3 logical name: / logical name: /gnu/store version: 1.0 serial: 044a4152-3923-4bf1-a2ae-b0515622176d size: 234GiB capabilities: journaled extended_attributes large_files huge_files dir_nlink recover 64bit extents ext4 ext2 initialized configuration: created=2021-05-12 12:03:41 filesystem=ext4 lastmountpoint=/ modified=2021-05-12 12:26:01 mount.fstype=ext4 mount.options=ro,noatime mounted=2021-05-12 12:26:01 state=mounted *-pci:0 physical id: 1c bus info: pci@0000:00:1c.0 version: f1 width: 32 bits clock: 33MHz capabilities: pci pciexpress msi pm bus_master cap_list configuration: driver=pcieport resources: irq:122 ioport:5000(size=4096) memory:b3200000-b32fffff ioport:90000000(size=268435456) *-display physical id: 0 bus info: pci@0000:01:00.0 version: 83 width: 64 bits clock: 33MHz capabilities: pm pciexpress msi bus_master cap_list rom configuration: driver=radeon latency=0 resources: irq:16 memory:90000000-9fffffff memory:b3200000-b323ffff ioport:5000(size=256) memory:b3240000-b325ffff *-pci:1 physical id: 1c.4 bus info: pci@0000:00:1c.4 version: f1 width: 32 bits clock: 33MHz capabilities: pci pciexpress msi pm bus_master cap_list configuration: driver=pcieport resources: irq:123 ioport:4000(size=4096) memory:b3100000-b31fffff *-network description: Ethernet interface physical id: 0 bus info: pci@0000:02:00.0 logical name: enp2s0 version: 15 serial: 1c:39:47:c5:f5:c7 size: 1Gbit/s capacity: 1Gbit/s width: 64 bits clock: 33MHz capabilities: pm msi pciexpress msix bus_master cap_list ethernet physical tp mii 10bt 10bt-fd 100bt 100bt-fd 1000bt-fd autonegotiation configuration: autonegotiation=on broadcast=yes driver=r8169 driverversion=5.11.15-gnu duplex=full ip=192.168.1.88 latency=0 link=yes multicast=yes port=twisted pair speed=1Gbit/s resources: irq:16 ioport:4000(size=256) memory:b3104000-b3104fff memory:b3100000-b3103fff *-pci:2 physical id: 1c.5 bus info: pci@0000:00:1c.5 version: f1 width: 32 bits clock: 33MHz capabilities: pci pciexpress msi pm bus_master cap_list configuration: driver=pcieport resources: irq:124 memory:b3000000-b30fffff *-network UNCLAIMED physical id: 0 bus info: pci@0000:03:00.0 version: 42 width: 64 bits clock: 33MHz capabilities: pm msi pciexpress cap_list configuration: latency=0 resources: memory:b3000000-b3001fff *-pci:3 physical id: 1d bus info: pci@0000:00:1d.0 version: f1 width: 32 bits clock: 33MHz capabilities: pci pciexpress msi pm bus_master cap_list configuration: driver=pcieport resources: irq:125 ioport:3000(size=4096) memory:b2000000-b2ffffff ioport:b0000000(size=16777216) *-generic description: MMC Host physical id: 0 bus info: pci@0000:04:00.0 logical name: mmc0 version: 01 width: 32 bits clock: 33MHz capabilities: pm msi pciexpress bus_master cap_list configuration: driver=rtsx_pci latency=0 resources: irq:129 memory:b2000000-b2000fff *-isa physical id: 1f bus info: pci@0000:00:1f.0 version: 21 width: 32 bits clock: 33MHz capabilities: isa bus_master configuration: latency=0 *-memory UNCLAIMED physical id: 1f.2 bus info: pci@0000:00:1f.2 version: 21 width: 32 bits clock: 33MHz (30.3ns) capabilities: bus_master configuration: latency=0 resources: memory:b3324000-b3327fff *-multimedia physical id: 1f.3 bus info: pci@0000:00:1f.3 version: 21 width: 64 bits clock: 33MHz capabilities: pm msi bus_master cap_list configuration: driver=snd_hda_intel latency=32 resources: irq:134 memory:b3320000-b3323fff memory:b3310000-b331ffff *-serial physical id: 1f.4 bus info: pci@0000:00:1f.4 version: 21 width: 64 bits clock: 33MHz configuration: driver=i801_smbus latency=0 resources: irq:16 memory:b332f000-b332f0ff ioport:6040(size=32) *-pnp00:00 product: PnP device PNP0c02 physical id: 1 capabilities: pnp configuration: driver=system *-pnp00:01 product: PnP device PNP0c02 physical id: 2 capabilities: pnp configuration: driver=system *-pnp00:02 product: PnP device PNP0b00 physical id: 3 capabilities: pnp configuration: driver=rtc_cmos *-pnp00:03 product: PnP device INT3f0d physical id: 6 capabilities: pnp configuration: driver=system *-pnp00:04 product: PnP device PNP0303 physical id: 7 capabilities: pnp configuration: driver=i8042 kbd *-pnp00:05 product: PnP device SYN2b65 physical id: 8 capabilities: pnp configuration: driver=i8042 aux *-pnp00:06 product: PnP device PNP0c02 physical id: 9 capabilities: pnp configuration: driver=system *-pnp00:07 product: PnP device PNP0c02 physical id: a capabilities: pnp configuration: driver=system *-battery description: Zinc Air Battery product: CRB Battery 0 vendor: -Virtual Battery 0- physical id: 1 version: 08/08/2010 serial: Battery 0 slot: Fake *-power UNCLAIMED description: OEM Define 1 product: OEM Define 5 vendor: OEM Define 2 physical id: 2 version: OEM Define 6 serial: OEM Define 3 capacity: 75mWh
L
L
Leo Famulari wrote on 13 May 04:30 +0200
(no subject)
(address . control@debbugs.gnu.org)
YJyPU/82FDnmPFW8@jasmine.lan
merge 48392 48391 48390 48389
L
L
Ludovic Courtès wrote on 13 May 22:53 +0200
control message for bug #48389
(address . control@debbugs.gnu.org)
87tun6s6dn.fsf@gnu.org
merge 48389 48395quit
L
L
Ludovic Courtès wrote on 13 May 22:58 +0200
(address . control@debbugs.gnu.org)
875yzms64i.fsf@gnu.org
retitle 48389 Guile 3.0.7 test suite fails non-deterministicallyquit
L
L
Ludovic Courtès wrote on 13 May 22:58 +0200
(address . control@debbugs.gnu.org)
874kf6s64f.fsf@gnu.org
severity 48389 importantquit
?
Your comment

Commenting via the web interface is currently disabled.

To comment on this conversation send email to 48391@debbugs.gnu.org