0s autopkgtest [02:06:55]: starting date and time: 2024-03-25 02:06:55+0000 0s autopkgtest [02:06:55]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [02:06:55]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.4f1n4z4f/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:readline,src:asymptote --apt-upgrade berkeley-abc --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=readline/8.2-4 asymptote/2.87+ds-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos01-arm64-14.secgroup --name adt-noble-arm64-berkeley-abc-20240325-014056-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_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,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://us.ports.ubuntu.com/ubuntu-ports/ 107s autopkgtest [02:08:42]: testbed dpkg architecture: arm64 107s autopkgtest [02:08:42]: testbed apt version: 2.7.12 107s autopkgtest [02:08:42]: @@@@@@@@@@@@@@@@@@@@ test bed setup 108s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 109s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [496 kB] 109s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3985 kB] 110s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.8 kB] 110s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 110s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [709 kB] 110s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 110s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [33.7 kB] 110s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 110s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4364 kB] 110s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 110s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [71.0 kB] 110s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 117s Fetched 9851 kB in 3s (2901 kB/s) 118s Reading package lists... 122s Reading package lists... 122s Building dependency tree... 122s Reading state information... 124s Calculating upgrade... 125s The following packages will be upgraded: 125s readline-common 125s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 125s Need to get 56.4 kB of archives. 125s After this operation, 0 B of additional disk space will be used. 125s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 readline-common all 8.2-4 [56.4 kB] 126s Fetched 56.4 kB in 0s (193 kB/s) 126s (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 ... 75911 files and directories currently installed.) 126s Preparing to unpack .../readline-common_8.2-4_all.deb ... 126s Unpacking readline-common (8.2-4) over (8.2-3) ... 126s Setting up readline-common (8.2-4) ... 126s Processing triggers for install-info (7.1-3) ... 127s Processing triggers for man-db (2.12.0-3) ... 127s Reading package lists... 128s Building dependency tree... 128s Reading state information... 129s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 131s sh: Attempting to set up Debian/Ubuntu apt sources automatically 131s sh: Distribution appears to be Ubuntu 133s Reading package lists... 133s Building dependency tree... 133s Reading state information... 135s eatmydata is already the newest version (131-1). 135s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 135s Reading package lists... 135s Building dependency tree... 135s Reading state information... 137s dbus is already the newest version (1.14.10-4ubuntu1). 137s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 137s Reading package lists... 137s Building dependency tree... 137s Reading state information... 139s rng-tools-debian is already the newest version (2.4). 139s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 139s Reading package lists... 139s Building dependency tree... 139s Reading state information... 141s The following packages will be REMOVED: 141s cloud-init* python3-configobj* python3-debconf* 142s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 142s After this operation, 3256 kB disk space will be freed. 142s (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 ... 75911 files and directories currently installed.) 142s Removing cloud-init (24.1.2-0ubuntu1) ... 143s Removing python3-configobj (5.0.8-3) ... 143s Removing python3-debconf (1.5.86) ... 144s Processing triggers for man-db (2.12.0-3) ... 144s (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 ... 75522 files and directories currently installed.) 144s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 147s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 147s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 147s invoke-rc.d: policy-rc.d denied execution of try-restart. 147s Reading package lists... 147s Building dependency tree... 147s Reading state information... 149s linux-generic is already the newest version (6.8.0-11.11+1). 149s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 149s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 149s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 149s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 156s Reading package lists... 156s Reading package lists... 156s Building dependency tree... 156s Reading state information... 158s Calculating upgrade... 159s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 159s Reading package lists... 159s Building dependency tree... 159s Reading state information... 161s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 161s autopkgtest [02:09:36]: rebooting testbed after setup commands that affected boot 318s autopkgtest [02:12:13]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 321s autopkgtest [02:12:16]: @@@@@@@@@@@@@@@@@@@@ apt-source berkeley-abc 323s Get:1 http://ftpmaster.internal/ubuntu noble/universe berkeley-abc 1.01+20230625git01b1bd1+dfsg-3 (dsc) [2257 B] 323s Get:2 http://ftpmaster.internal/ubuntu noble/universe berkeley-abc 1.01+20230625git01b1bd1+dfsg-3 (tar) [3903 kB] 323s Get:3 http://ftpmaster.internal/ubuntu noble/universe berkeley-abc 1.01+20230625git01b1bd1+dfsg-3 (diff) [20.1 kB] 324s gpgv: Signature made Thu Jun 29 12:25:01 2023 UTC 324s gpgv: using RSA key 57A1BF15B4F6F99B89EDB29FD39481AE1E79ACF7 324s gpgv: Can't check signature: No public key 324s dpkg-source: warning: cannot verify inline signature for ./berkeley-abc_1.01+20230625git01b1bd1+dfsg-3.dsc: no acceptable signature found 325s autopkgtest [02:12:20]: testing package berkeley-abc version 1.01+20230625git01b1bd1+dfsg-3 325s autopkgtest [02:12:20]: build not needed 327s autopkgtest [02:12:22]: test can-show-help: preparing testbed 333s Reading package lists... 333s Building dependency tree... 333s Reading state information... 334s Starting pkgProblemResolver with broken count: 0 334s Starting 2 pkgProblemResolver with broken count: 0 334s Done 336s The following additional packages will be installed: 336s berkeley-abc 336s The following NEW packages will be installed: 336s autopkgtest-satdep berkeley-abc 336s 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. 336s Need to get 4306 kB/4307 kB of archives. 336s After this operation, 10.5 MB of additional disk space will be used. 336s Get:1 /tmp/autopkgtest.cV7myR/1-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [708 B] 336s Get:2 http://ftpmaster.internal/ubuntu noble/universe arm64 berkeley-abc arm64 1.01+20230625git01b1bd1+dfsg-3 [4306 kB] 338s Fetched 4306 kB in 2s (2701 kB/s) 338s Selecting previously unselected package berkeley-abc. 338s (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 ... 75467 files and directories currently installed.) 338s Preparing to unpack .../berkeley-abc_1.01+20230625git01b1bd1+dfsg-3_arm64.deb ... 338s Unpacking berkeley-abc (1.01+20230625git01b1bd1+dfsg-3) ... 339s Selecting previously unselected package autopkgtest-satdep. 339s Preparing to unpack .../1-autopkgtest-satdep.deb ... 339s Unpacking autopkgtest-satdep (0) ... 339s Setting up berkeley-abc (1.01+20230625git01b1bd1+dfsg-3) ... 339s Setting up autopkgtest-satdep (0) ... 339s Processing triggers for man-db (2.12.0-3) ... 345s (Reading database ... 75474 files and directories currently installed.) 345s Removing autopkgtest-satdep (0) ... 346s autopkgtest [02:12:41]: test can-show-help: [----------------------- 347s ABC command line: "help". 347s 347s Welcome to ABC! 347s 347s ABC9 commands: 347s &acec &add1hot &anorm &append 347s &atree &b &back_reach &bcore 347s &bidec &blut &bmc &bmci 347s &bmcs &cec &cexinfo &cfraig 347s &cfs &chainbmc &choice &cof 347s &compare &cone &cycle &dc2 347s &dch &decla &deepsyn &demiter 347s &dfs &dsd &dsdb &edge 347s &embed &enable &equiv &equiv2 347s &equiv3 &equiv_filter &equiv_mark &era 347s &esop &exorcism &extract &fadds 347s &false &fftest &filter &flow 347s &flow2 &flow3 &force &fraig 347s &frames &fx &gen &genqbf 347s &get &glucose &glucose2 &gprove 347s &homoqbf &icec &icheck &if 347s &if2 &iff &iiff &inse 347s &iso &isonpn &isost &iwls21test 347s &jf &kf &lcorr &lf 347s &lneteval &lnetmap &lnetopt &lnetread 347s &lnetsim &load &load2 &loadaig 347s &maxi &mesh &mf &mfs 347s &mfsd &miter &miter2 &mlgen 347s &mltest &move_names &mprove &muxdec 347s &muxpos &muxstr &nf &of 347s &pack &permute &pfan &polyn 347s &popart &posplit &poxsim &print_truth 347s &prodadd &profile &ps &psig 347s &put &qbf &qvar &r 347s &reachm &reachn &reachp &reachy 347s &read &read_blif &read_cblif &read_stg 347s &read_ver &reduce &reshape &resim 347s &resub &retime &reveng &rex2gia 347s &rexwalk &rpm &sat &satclp 347s &satenum &satfx &satlut &satsyn 347s &sattest &save &save2 &saveaig 347s &scl &scorr &semi &setregnum 347s &show &shrink &sif &sim 347s &sim2 &sim3 &sim_gen &sim_print 347s &sim_read &sim_write &simrsb &slice 347s &sopb &speci &speedup &splitprove 347s &srm &srm2 &st &status 347s &stochsyn &struct &sweep &syn2 347s &syn3 &syn4 &synch2 &test 347s × &topand &trace &transduction 347s &transtoch &trim &ttopt &uif 347s &unate &undo &unmap &verify 347s &w &wlut &write &write_ver 347s 347s Abstraction commands: 347s &abs_create &abs_derive &abs_refine &fla_gla 347s &gla &gla_derive &gla_fla &gla_refine 347s &gla_shrink &gla_vta &vta &vta_gla 347s 347s Basic commands: 347s abcrc alias echo empty 347s help history quit recall 347s set source time unalias 347s undo unset version 347s 347s Choicing commands: 347s rec_add3 rec_dump3 rec_merge3 rec_ps3 347s rec_start3 rec_stop3 347s 347s DSD manager commands: 347s dsd_filter dsd_free dsd_load dsd_match 347s dsd_merge dsd_ps dsd_save 347s 347s Exact synthesis commands: 347s allexact bms_ps bms_start bms_stop 347s lutexact majexact majgen testexact 347s twoexact 347s 347s FPGA mapping commands: 347s if ifif print_box print_lut 347s read_box read_lut 347s 347s Fraiging commands: 347s dress dump_equiv fraig fraig_clean 347s fraig_restore fraig_store fraig_sweep fraig_trust 347s 347s I/O commands: 347s &read_gig &write_cnf &write_resub &write_truths 347s read read_aiger read_baf read_bblif 347s read_bench read_blif read_blif_mv read_dsd 347s read_eqn read_fins read_formula read_init 347s read_json read_pla read_plamo read_sf 347s read_status read_truth read_verilog write 347s write_aiger write_aiger_cex write_baf write_bblif 347s write_bench write_blif write_blif_mv write_book 347s write_cellnet write_cex write_cnf write_dot 347s write_edgelist write_eqn write_gml write_hie 347s write_json write_pla write_smv write_sorter_cnf 347s write_status write_truth write_verilog 347s 347s Liveness commands: 347s kcs l2s l2ssim l3s 347s nck 347s 347s LogiCS commands: 347s testrpo 347s 347s New AIG commands: 347s csweep dc2 dch dchoice 347s dfraig drf drw drwsat 347s icut ifraig iresyn irw 347s irws isat istrash qbf 347s 347s New word level commands: 347s :blast :cec :clp :get 347s :ps :put :read :test 347s :write @_cec @_clp @_get 347s @_ps @_put @_read @_test 347s @_write 347s 347s Printing commands: 347s print_auto print_cone print_delay print_dsd 347s print_exdc print_factor print_fanio print_gates 347s print_io print_kmap print_latch print_level 347s print_mffc print_mint print_miter print_sharing 347s print_stats print_status print_supp print_symm 347s print_unate print_xcut show show_bdd 347s show_cut 347s 347s SC mapping commands: 347s amap attach map phase_map 347s print_genlib print_library print_profile read_genlib 347s read_library read_profile read_super super 347s super2 superc supercl timescale 347s unmap write_genlib write_library write_profile 347s 347s SCL mapping commands: 347s buffer dnsize dump_genlib leak2area 347s maxsize minsize print_buf print_constr 347s print_gs print_lib read_constr read_lib 347s read_scl reset_constr stime topo 347s unbuffer upsize write_constr write_lib 347s write_scl 347s 347s Sequential commands: 347s clockgate cretime cubeenum cycle 347s dretime extwin fretime funenum 347s init inswin lcorr onehot 347s pathenum permute phase pipe 347s retime scleanup scorr sim 347s sim3 ssweep symfun synch 347s testscorr testssw undc unpermute 347s xsim zero 347s 347s Synthesis commands: 347s addbuffs balance cascade cleanup 347s collapse dsd eliminate exact 347s extract faultclasses fx fxch 347s glitch logicpush lutmin lutpack 347s merge mfs mfs2 mfs3 347s mfse multi mux_struct powerdown 347s refactor renode resub resub_check 347s rewrite runeco rungen satclp 347s sparsify speedup strash sweep 347s testdec testnpn testtruth trace 347s varmin xec 347s 347s Two-level commands: 347s |gen |merge |ps |read 347s |test |write 347s 347s Various commands: 347s addpi aig andpos append 347s autotuner backup bb2wb bdd 347s bidec bottommost capo care_set 347s cof comb cone cover 347s cubes cut demiter dframes 347s double dropsat espresso exdc_free 347s exdc_get exdc_set expand ext_seq_dcs 347s frames gen genfsm inter 347s load load_plugin logic minisat 347s minisimp miter miter2 move_names 347s muxes mvsis node nodedup 347s npnload npnsave order orpos 347s outdec putontop qreach qrel 347s qvar range reach removepo 347s reorder restore save send_aig 347s send_status senseinput short_names sis 347s sop splitsop starter swappos 347s test testcolor topand topmost 347s trim zeropo 347s 347s Verification commands: 347s &kissat &sat3 &satoko absec 347s blockpo bm bm2 bmc 347s bmc2 bmc3 cec cexcut 347s cexload cexmerge cexsave constr 347s dcec debug dprove dsat 347s dsec dualrail eco enlarge 347s fold fold2 ind indcut 347s int iprove iso match 347s pdr prove psat reconcile 347s sat satoko saucy3 simsec 347s tempor testcex unfold unfold2 347s xsat 347s 347s Word level commands: 347s %abs %abs2 %blast %blastmem 347s %collapse %cone %graft %hierarchy 347s %memabs %memabs2 %pdra %print 347s %profile %ps %read %retime 347s %short_names %show %test %write 347s %yosys inv_check inv_get inv_min 347s inv_print inv_ps inv_put 347s autopkgtest [02:12:42]: test can-show-help: -----------------------] 348s autopkgtest [02:12:43]: test can-show-help: - - - - - - - - - - results - - - - - - - - - - 348s can-show-help PASS (superficial) 348s autopkgtest [02:12:43]: test can-techmap: preparing testbed 352s Reading package lists... 353s Building dependency tree... 353s Reading state information... 353s Starting pkgProblemResolver with broken count: 0 354s Starting 2 pkgProblemResolver with broken count: 0 354s Done 355s The following NEW packages will be installed: 355s autopkgtest-satdep 355s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 355s Need to get 0 B/708 B of archives. 355s After this operation, 0 B of additional disk space will be used. 355s Get:1 /tmp/autopkgtest.cV7myR/2-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [708 B] 356s Selecting previously unselected package autopkgtest-satdep. 356s (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 ... 75474 files and directories currently installed.) 356s Preparing to unpack .../2-autopkgtest-satdep.deb ... 356s Unpacking autopkgtest-satdep (0) ... 356s Setting up autopkgtest-satdep (0) ... 361s (Reading database ... 75474 files and directories currently installed.) 361s Removing autopkgtest-satdep (0) ... 362s autopkgtest [02:12:57]: test can-techmap: [----------------------- 363s ABC command line: "source debian/tests/abc.script". 363s 363s + read_blif debian/tests/input.blif 363s + read_lib -w debian/tests/mycells.lib 363s Parsing finished successfully. Parsing time = 0.00 sec 363s Warning: Templates are not defined. 363s Libery parser cannot read "time_unit". Assuming time_unit : "1ns". 363s Libery parser cannot read "capacitive_load_unit". Assuming capacitive_load_unit(1, pf). 363s Scl_LibertyReadGenlib() skipped sequential cell "DFF". 363s Library "demo" from "debian/tests/mycells.lib" has 4 cells (1 skipped: 1 seq; 0 tri-state; 0 no func; 0 dont_use). Time = 0.00 sec 363s Memory = 0.00 MB. Time = 0.00 sec 363s + strash 363s + &get -n 363s + &fraig -x 363s + &put 363s + scorr 363s Warning: The network is combinational (run "fraig" or "fraig_sweep"). 363s + dc2 363s + dretime 363s + strash 363s + &get -n 363s + &dch -f 363s + &nf 363s + &put 363s + write_blif /tmp/output.blif 363s autopkgtest [02:12:58]: test can-techmap: -----------------------] 364s can-techmap PASS 364s autopkgtest [02:12:59]: test can-techmap: - - - - - - - - - - results - - - - - - - - - - 364s autopkgtest [02:12:59]: @@@@@@@@@@@@@@@@@@@@ summary 364s can-show-help PASS (superficial) 364s can-techmap PASS 381s Creating nova instance adt-noble-arm64-berkeley-abc-20240325-014056-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240324.img (UUID 2df78aec-1bf7-4c70-8bf1-31fba04b7d21)...