0s autopkgtest [18:12:21]: starting date and time: 2025-03-15 18:12:21+0000 0s autopkgtest [18:12:21]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [18:12:21]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.fxm37gvh/out --timeout-copy=6000 --setup-commands 'ln -s /dev/null /etc/systemd/system/bluetooth.service; printf "http_proxy=http://squid.internal:3128\nhttps_proxy=http://squid.internal:3128\nno_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com\n" >> /etc/environment' --apt-pocket=proposed=src:glibc --apt-upgrade tkgate --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- lxd -r lxd-armhf-10.145.243.142 lxd-armhf-10.145.243.142:autopkgtest/ubuntu/plucky/armhf 20s autopkgtest [18:12:41]: testbed dpkg architecture: armhf 22s autopkgtest [18:12:43]: testbed apt version: 2.9.33 25s autopkgtest [18:12:46]: @@@@@@@@@@@@@@@@@@@@ test bed setup 27s autopkgtest [18:12:48]: testbed release detected to be: None 35s autopkgtest [18:12:56]: updating testbed package index (apt update) 37s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 37s Get:2 http://ftpmaster.internal/ubuntu plucky InRelease [257 kB] 37s Get:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease [126 kB] 38s Get:4 http://ftpmaster.internal/ubuntu plucky-security InRelease [126 kB] 38s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 38s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 38s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 38s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [114 kB] 38s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf c-n-f Metadata [1832 B] 38s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted armhf c-n-f Metadata [116 B] 38s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [312 kB] 39s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf c-n-f Metadata [11.1 kB] 39s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [3472 B] 39s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf c-n-f Metadata [240 B] 39s Get:15 http://ftpmaster.internal/ubuntu plucky/multiverse Sources [299 kB] 39s Get:16 http://ftpmaster.internal/ubuntu plucky/universe Sources [21.0 MB] 60s Get:17 http://ftpmaster.internal/ubuntu plucky/main Sources [1394 kB] 62s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf Packages [1378 kB] 63s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf c-n-f Metadata [29.4 kB] 63s Get:20 http://ftpmaster.internal/ubuntu plucky/restricted armhf c-n-f Metadata [108 B] 63s Get:21 http://ftpmaster.internal/ubuntu plucky/universe armhf Packages [15.1 MB] 77s Get:22 http://ftpmaster.internal/ubuntu plucky/multiverse armhf Packages [172 kB] 78s Fetched 41.0 MB in 41s (991 kB/s) 79s Reading package lists... 86s autopkgtest [18:13:46]: upgrading testbed (apt dist-upgrade and autopurge) 87s Reading package lists... 88s Building dependency tree... 88s Reading state information... 88s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 88s Starting 2 pkgProblemResolver with broken count: 0 88s Done 89s Entering ResolveByKeep 89s 89s Calculating upgrade... 90s The following packages will be upgraded: 90s libc-bin libc6 locales pinentry-curses python3-jinja2 sos strace 90s 7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 90s Need to get 8683 kB of archives. 90s After this operation, 23.6 kB of additional disk space will be used. 90s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6 armhf 2.41-1ubuntu2 [2932 kB] 93s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-bin armhf 2.41-1ubuntu2 [545 kB] 93s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf locales all 2.41-1ubuntu2 [4246 kB] 97s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf strace armhf 6.13+ds-1ubuntu1 [445 kB] 97s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf pinentry-curses armhf 1.3.1-2ubuntu3 [40.6 kB] 97s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 97s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf sos all 4.9.0-5 [365 kB] 99s Preconfiguring packages ... 99s Fetched 8683 kB in 8s (1106 kB/s) 99s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 64655 files and directories currently installed.) 99s Preparing to unpack .../libc6_2.41-1ubuntu2_armhf.deb ... 99s Unpacking libc6:armhf (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 99s Setting up libc6:armhf (2.41-1ubuntu2) ... 99s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 64655 files and directories currently installed.) 99s Preparing to unpack .../libc-bin_2.41-1ubuntu2_armhf.deb ... 99s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 99s Setting up libc-bin (2.41-1ubuntu2) ... 100s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 64655 files and directories currently installed.) 100s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 100s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 100s Preparing to unpack .../strace_6.13+ds-1ubuntu1_armhf.deb ... 100s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 100s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_armhf.deb ... 100s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 100s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 100s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 100s Preparing to unpack .../archives/sos_4.9.0-5_all.deb ... 101s Unpacking sos (4.9.0-5) over (4.9.0-4) ... 101s Setting up sos (4.9.0-5) ... 101s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 101s Setting up locales (2.41-1ubuntu2) ... 102s Generating locales (this might take a while)... 104s en_US.UTF-8... done 104s Generation complete. 104s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 104s Setting up strace (6.13+ds-1ubuntu1) ... 104s Processing triggers for man-db (2.13.0-1) ... 105s Processing triggers for systemd (257.3-1ubuntu3) ... 108s Reading package lists... 108s Building dependency tree... 108s Reading state information... 109s Starting pkgProblemResolver with broken count: 0 109s Starting 2 pkgProblemResolver with broken count: 0 109s Done 109s Solving dependencies... 110s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 112s autopkgtest [18:14:13]: rebooting testbed after setup commands that affected boot 152s autopkgtest [18:14:53]: testbed running kernel: Linux 6.8.0-52-generic #53~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Wed Jan 15 18:10:51 UTC 2 185s autopkgtest [18:15:26]: @@@@@@@@@@@@@@@@@@@@ apt-source tkgate 212s Get:1 http://ftpmaster.internal/ubuntu plucky/universe tkgate 2.1+repack-7 (dsc) [2265 B] 212s Get:2 http://ftpmaster.internal/ubuntu plucky/universe tkgate 2.1+repack-7 (tar) [7748 kB] 212s Get:3 http://ftpmaster.internal/ubuntu plucky/universe tkgate 2.1+repack-7 (diff) [48.4 kB] 213s gpgv: Signature made Thu May 23 09:30:22 2024 UTC 213s gpgv: using RSA key 3340B364FF67153FB7CCAE851C2816907136AE39 213s gpgv: issuer "georgesk@debian.org" 213s gpgv: Can't check signature: No public key 213s dpkg-source: warning: cannot verify inline signature for ./tkgate_2.1+repack-7.dsc: no acceptable signature found 213s autopkgtest [18:15:54]: testing package tkgate version 2.1+repack-7 215s autopkgtest [18:15:56]: build not needed 218s autopkgtest [18:15:59]: test verga: preparing testbed 220s Reading package lists... 220s Building dependency tree... 220s Reading state information... 221s Starting pkgProblemResolver with broken count: 0 221s Starting 2 pkgProblemResolver with broken count: 0 221s Done 222s The following NEW packages will be installed: 222s fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono libdatrie1 222s libfontconfig1 libfreetype6 libgraphite2-3 libharfbuzz0b libpango-1.0-0 222s libpangoft2-1.0-0 libpangoxft-1.0-0 libtcl8.6 libthai-data libthai0 libtk8.6 222s libxft2 libxrender1 libxss1 tkgate tkgate-data tkgate-doc x11-common 222s 0 upgraded, 23 newly installed, 0 to remove and 0 not upgraded. 222s Need to get 9822 kB of archives. 222s After this operation, 27.0 MB of additional disk space will be used. 222s Get:1 http://ftpmaster.internal/ubuntu plucky/main armhf libfreetype6 armhf 2.13.3+dfsg-1 [330 kB] 222s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf fonts-dejavu-mono all 2.37-8 [502 kB] 223s Get:3 http://ftpmaster.internal/ubuntu plucky/main armhf fonts-dejavu-core all 2.37-8 [835 kB] 223s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf fontconfig-config armhf 2.15.0-2ubuntu1 [37.5 kB] 224s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf libfontconfig1 armhf 2.15.0-2ubuntu1 [114 kB] 224s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf fontconfig armhf 2.15.0-2ubuntu1 [190 kB] 224s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf libdatrie1 armhf 0.2.13-3build1 [15.7 kB] 224s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf libgraphite2-3 armhf 1.3.14-2ubuntu1 [64.8 kB] 224s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf libharfbuzz0b armhf 10.2.0-1 [464 kB] 224s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf libthai-data all 0.1.29-2build1 [158 kB] 224s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf libthai0 armhf 0.1.29-2build1 [15.2 kB] 224s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf libpango-1.0-0 armhf 1.56.2-1 [216 kB] 225s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf libpangoft2-1.0-0 armhf 1.56.2-1 [43.6 kB] 225s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf libxrender1 armhf 1:0.9.10-1.1build1 [16.0 kB] 225s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf libxft2 armhf 2.3.6-1build1 [37.4 kB] 225s Get:16 http://ftpmaster.internal/ubuntu plucky/main armhf libpangoxft-1.0-0 armhf 1.56.2-1 [18.2 kB] 225s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf libtcl8.6 armhf 8.6.16+dfsg-1 [909 kB] 225s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf x11-common all 1:7.7+23ubuntu3 [21.7 kB] 225s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf libxss1 armhf 1:1.2.3-1build3 [6500 B] 225s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf libtk8.6 armhf 8.6.16-1 [686 kB] 226s Get:21 http://ftpmaster.internal/ubuntu plucky/universe armhf tkgate-data all 2.1+repack-7 [1159 kB] 227s Get:22 http://ftpmaster.internal/ubuntu plucky/universe armhf tkgate armhf 2.1+repack-7 [372 kB] 227s Get:23 http://ftpmaster.internal/ubuntu plucky/universe armhf tkgate-doc all 2.1+repack-7 [3609 kB] 230s Fetched 9822 kB in 8s (1216 kB/s) 230s Selecting previously unselected package libfreetype6:armhf. 230s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 64655 files and directories currently installed.) 230s Preparing to unpack .../00-libfreetype6_2.13.3+dfsg-1_armhf.deb ... 230s Unpacking libfreetype6:armhf (2.13.3+dfsg-1) ... 230s Selecting previously unselected package fonts-dejavu-mono. 230s Preparing to unpack .../01-fonts-dejavu-mono_2.37-8_all.deb ... 230s Unpacking fonts-dejavu-mono (2.37-8) ... 230s Selecting previously unselected package fonts-dejavu-core. 230s Preparing to unpack .../02-fonts-dejavu-core_2.37-8_all.deb ... 230s Unpacking fonts-dejavu-core (2.37-8) ... 231s Selecting previously unselected package fontconfig-config. 231s Preparing to unpack .../03-fontconfig-config_2.15.0-2ubuntu1_armhf.deb ... 231s Unpacking fontconfig-config (2.15.0-2ubuntu1) ... 231s Selecting previously unselected package libfontconfig1:armhf. 231s Preparing to unpack .../04-libfontconfig1_2.15.0-2ubuntu1_armhf.deb ... 231s Unpacking libfontconfig1:armhf (2.15.0-2ubuntu1) ... 231s Selecting previously unselected package fontconfig. 231s Preparing to unpack .../05-fontconfig_2.15.0-2ubuntu1_armhf.deb ... 231s Unpacking fontconfig (2.15.0-2ubuntu1) ... 231s Selecting previously unselected package libdatrie1:armhf. 231s Preparing to unpack .../06-libdatrie1_0.2.13-3build1_armhf.deb ... 231s Unpacking libdatrie1:armhf (0.2.13-3build1) ... 231s Selecting previously unselected package libgraphite2-3:armhf. 231s Preparing to unpack .../07-libgraphite2-3_1.3.14-2ubuntu1_armhf.deb ... 231s Unpacking libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 231s Selecting previously unselected package libharfbuzz0b:armhf. 231s Preparing to unpack .../08-libharfbuzz0b_10.2.0-1_armhf.deb ... 231s Unpacking libharfbuzz0b:armhf (10.2.0-1) ... 231s Selecting previously unselected package libthai-data. 231s Preparing to unpack .../09-libthai-data_0.1.29-2build1_all.deb ... 231s Unpacking libthai-data (0.1.29-2build1) ... 231s Selecting previously unselected package libthai0:armhf. 231s Preparing to unpack .../10-libthai0_0.1.29-2build1_armhf.deb ... 231s Unpacking libthai0:armhf (0.1.29-2build1) ... 231s Selecting previously unselected package libpango-1.0-0:armhf. 231s Preparing to unpack .../11-libpango-1.0-0_1.56.2-1_armhf.deb ... 231s Unpacking libpango-1.0-0:armhf (1.56.2-1) ... 231s Selecting previously unselected package libpangoft2-1.0-0:armhf. 231s Preparing to unpack .../12-libpangoft2-1.0-0_1.56.2-1_armhf.deb ... 231s Unpacking libpangoft2-1.0-0:armhf (1.56.2-1) ... 231s Selecting previously unselected package libxrender1:armhf. 231s Preparing to unpack .../13-libxrender1_1%3a0.9.10-1.1build1_armhf.deb ... 231s Unpacking libxrender1:armhf (1:0.9.10-1.1build1) ... 231s Selecting previously unselected package libxft2:armhf. 231s Preparing to unpack .../14-libxft2_2.3.6-1build1_armhf.deb ... 231s Unpacking libxft2:armhf (2.3.6-1build1) ... 231s Selecting previously unselected package libpangoxft-1.0-0:armhf. 231s Preparing to unpack .../15-libpangoxft-1.0-0_1.56.2-1_armhf.deb ... 231s Unpacking libpangoxft-1.0-0:armhf (1.56.2-1) ... 231s Selecting previously unselected package libtcl8.6:armhf. 231s Preparing to unpack .../16-libtcl8.6_8.6.16+dfsg-1_armhf.deb ... 231s Unpacking libtcl8.6:armhf (8.6.16+dfsg-1) ... 232s Selecting previously unselected package x11-common. 232s Preparing to unpack .../17-x11-common_1%3a7.7+23ubuntu3_all.deb ... 232s Unpacking x11-common (1:7.7+23ubuntu3) ... 232s Selecting previously unselected package libxss1:armhf. 232s Preparing to unpack .../18-libxss1_1%3a1.2.3-1build3_armhf.deb ... 232s Unpacking libxss1:armhf (1:1.2.3-1build3) ... 232s Selecting previously unselected package libtk8.6:armhf. 232s Preparing to unpack .../19-libtk8.6_8.6.16-1_armhf.deb ... 232s Unpacking libtk8.6:armhf (8.6.16-1) ... 232s Selecting previously unselected package tkgate-data. 232s Preparing to unpack .../20-tkgate-data_2.1+repack-7_all.deb ... 232s Unpacking tkgate-data (2.1+repack-7) ... 232s Selecting previously unselected package tkgate. 232s Preparing to unpack .../21-tkgate_2.1+repack-7_armhf.deb ... 232s Unpacking tkgate (2.1+repack-7) ... 232s Selecting previously unselected package tkgate-doc. 232s Preparing to unpack .../22-tkgate-doc_2.1+repack-7_all.deb ... 232s Unpacking tkgate-doc (2.1+repack-7) ... 232s Setting up tkgate-doc (2.1+repack-7) ... 232s Setting up tkgate-data (2.1+repack-7) ... 232s Setting up libgraphite2-3:armhf (1.3.14-2ubuntu1) ... 232s Setting up libxrender1:armhf (1:0.9.10-1.1build1) ... 232s Setting up libdatrie1:armhf (0.2.13-3build1) ... 232s Setting up x11-common (1:7.7+23ubuntu3) ... 233s Setting up libfreetype6:armhf (2.13.3+dfsg-1) ... 233s Setting up fonts-dejavu-mono (2.37-8) ... 233s Setting up libtcl8.6:armhf (8.6.16+dfsg-1) ... 233s Setting up fonts-dejavu-core (2.37-8) ... 233s Setting up libharfbuzz0b:armhf (10.2.0-1) ... 233s Setting up libthai-data (0.1.29-2build1) ... 233s Setting up libxss1:armhf (1:1.2.3-1build3) ... 233s Setting up fontconfig-config (2.15.0-2ubuntu1) ... 233s Setting up libthai0:armhf (0.1.29-2build1) ... 233s Setting up libfontconfig1:armhf (2.15.0-2ubuntu1) ... 233s Setting up fontconfig (2.15.0-2ubuntu1) ... 235s Regenerating fonts cache... done. 235s Setting up libxft2:armhf (2.3.6-1build1) ... 235s Setting up libtk8.6:armhf (8.6.16-1) ... 235s Setting up libpango-1.0-0:armhf (1.56.2-1) ... 235s Setting up libpangoft2-1.0-0:armhf (1.56.2-1) ... 235s Setting up libpangoxft-1.0-0:armhf (1.56.2-1) ... 235s Setting up tkgate (2.1+repack-7) ... 235s Processing triggers for man-db (2.13.0-1) ... 235s Processing triggers for libc-bin (2.41-1ubuntu2) ... 247s autopkgtest [18:16:28]: test verga: [----------------------- 249s making verga/adder1.v ... 249s making verga/adder2.v ... 249s making verga/adder3.v ... 249s making verga/always1.v ... 249s making verga/ashift.v ... 249s making verga/bitselect1.v ... 249s making verga/bitselect2.v ... 249s making verga/bitselect3.v ... 249s making verga/buf.v ... 249s making verga/bufif.v ... 249s making verga/case1.v ... 249s making verga/channel1.v ... 249s making verga/command1.v ... 249s making verga/concat.v ... 249s making verga/define.v ... 249s making verga/display1.v ... 249s making verga/display2.v ... 249s making verga/edges1.v ... 249s making verga/edges2.v ... 249s making verga/errors.v ... 249s making verga/events1.v ... 249s making verga/fdisplay1.v ... 249s making verga/fibonacci.v ... 249s making verga/fork1.v ... 249s NOT making verga/gatelevel.v ... the test is unsure 249s NOT making verga/gatelevel1.v ... the test is unsure 249s making verga/grammar.v ... 249s making verga/loops.v ... 249s making verga/macro1.v ... 249s making verga/memory1.v ... 249s making verga/memory2.v ... 249s making verga/memory3.v ... 249s making verga/minmax.v ... 249s making verga/module1.v ... 249s making verga/module2.v ... 249s making verga/monitor1.v ... 249s making verga/multedge.v ... 249s making verga/ndassign2.v ... 249s making verga/ops1.v ... 249s making verga/parmassign1.v ... 249s making verga/probe1.v ... 249s making verga/random.v ... 249s making verga/real1.v ... 249s making verga/shift.v ... 249s making verga/simple1.v ... 249s making verga/simple2.v ... 249s making verga/spec.v ... 249s making verga/spec1.v ... 249s making verga/spec4.v ... 249s making verga/spec5.v ... 249s making verga/string1.v ... 249s making verga/string2.v ... 249s making verga/strobe1.v ... 249s making verga/sum1.v ... 249s making verga/sum2.v ... 249s making verga/sum3.v ... 249s making verga/supply1.v ... 249s making verga/supply2.v ... 249s making verga/task.v ... 249s making verga/timescale.v ... 249s making verga/timing1.v ... 249s making verga/timing2.v ... 249s making verga/trireg1.v ... 249s making verga/tristate1.v ... 249s making verga/tristate2.v ... 249s making verga/uops.v ... 249s making verga/wire1.v ... 249s NOT making verga-realtime/timer1.v ... the test is unsure 249s NOT making verga-realtime/timer2.v ... the test is unsure 249s making tkgate/VonNeumann.v ... 249s making tkgate/adder.v ... 249s NOT making tkgate/clock.v ... the test is unsure 249s making tkgate/error.v ... 249s making tkgate/error2.v ... 249s making tkgate/error3.v ... 249s making tkgate/error4.v ... 249s making tkgate/error5.v ... 249s making tkgate/greek.v ... 249s making tkgate/hanoi.v ... 249s making tkgate/hanoi2.v ... 249s NOT making tkgate/hdl.v ... the test is unsure 249s making tkgate/l1.v ... 249s making tkgate/l2.v ... 249s making tkgate/label.v ... 249s making tkgate/new.v ... 249s making tkgate/size.v ... 249s making tkgate/spec4.v ... 249s NOT making tkgate/symbol.v ... the test is unsure 249s making tkgate/test.v ... 249s NOT making tkgate/timer.v ... the test is unsure 249s making tkgate/timer2.v ... 249s making tkgate/tiny.v ... 249s making tkgate/wand.v ... 249s making tkgate/xx.v ... 249s NOT making tkgate/y.v ... the test is unsure 249s 249s LIST OF (MAYBE) FAILING TESTS: 249s ------------------------------ 249s 249s verga/gatelevel.v 249s verga/gatelevel1.v 249s verga-realtime/timer1.v 249s verga-realtime/timer2.v 249s tkgate/clock.v 249s tkgate/hdl.v 249s tkgate/symbol.v 249s tkgate/timer.v 249s tkgate/y.v 249s autopkgtest [18:16:30]: test verga: -----------------------] 253s autopkgtest [18:16:34]: test verga: - - - - - - - - - - results - - - - - - - - - - 253s verga PASS 257s autopkgtest [18:16:38]: @@@@@@@@@@@@@@@@@@@@ summary 257s verga PASS