>>> symbiyosys: Building testing/symbiyosys 0.35-r0 (using abuild 3.12.0-r0) started Thu, 16 Nov 2023 23:09:39 +0000 >>> symbiyosys: Checking sanity of /home/buildozer/aports/testing/symbiyosys/APKBUILD... >>> symbiyosys: Analyzing dependencies... >>> symbiyosys: Installing for build: build-base python3 py3-click yosys bash (1/21) Installing libbz2 (1.0.8-r6) (2/21) Installing libffi (3.4.4-r3) (3/21) Installing gdbm (1.23-r1) (4/21) Installing xz-libs (5.4.5-r0) (5/21) Installing mpdecimal (2.5.1-r2) (6/21) Installing libpanelw (6.4_p20231007-r0) (7/21) Installing readline (8.2.1-r2) (8/21) Installing sqlite-libs (3.44.0-r0) (9/21) Installing python3 (3.11.6-r1) (10/21) Installing python3-pycache-pyc0 (3.11.6-r1) (11/21) Installing pyc (3.11.6-r1) (12/21) Installing python3-pyc (3.11.6-r1) (13/21) Installing py3-click (8.1.7-r0) (14/21) Installing py3-click-pyc (8.1.7-r0) (15/21) Installing boost1.82-filesystem (1.82.0-r3) (16/21) Installing boost1.82-python3 (1.82.0-r3) (17/21) Installing tzdata (2023c-r1) (18/21) Installing tcl (8.6.13-r1) (19/21) Installing yosys (0.35-r0) (20/21) Installing bash (5.2.15-r6) Executing bash-5.2.15-r6.post-install (21/21) Installing .makedepends-symbiyosys (20231116.230941) Executing busybox-1.36.1-r15.trigger OK: 474 MiB in 126 packages >>> symbiyosys: Cleaning up srcdir >>> symbiyosys: Cleaning up pkgdir >>> symbiyosys: Cleaning up tmpdir >>> symbiyosys: Fetching https://distfiles.alpinelinux.org/distfiles/edge/symbiyosys-0.35.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 146 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 >>> symbiyosys: Fetching symbiyosys-0.35.tar.gz::https://github.com/YosysHQ/sby/archive/yosys-0.35.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 174k 0 174k 0 0 348k 0 --:--:-- --:--:-- --:--:-- 348k >>> symbiyosys: Fetching https://distfiles.alpinelinux.org/distfiles/edge/symbiyosys-0.35.tar.gz >>> symbiyosys: Checking sha512sums... symbiyosys-0.35.tar.gz: OK >>> symbiyosys: Unpacking /var/cache/distfiles/edge/symbiyosys-0.35.tar.gz... make -C tests test make[1]: Entering directory '/home/buildozer/aports/testing/symbiyosys/src/sby-yosys-0.35/tests' python3 make/collect_tests.py python3 make/test_rules.py keepgoing/keepgoing_same_step.sby python3 make/test_rules.py keepgoing/keepgoing_smtc.sby python3 make/test_rules.py keepgoing/keepgoing_multi_step.sby python3 make/test_rules.py autotune/autotune_options.sby python3 make/test_rules.py autotune/autotune_div.sby python3 make/test_rules.py unsorted/redxor.sby python3 make/test_rules.py unsorted/blackbox.sby python3 make/test_rules.py unsorted/demo.sby python3 make/test_rules.py unsorted/floor_divmod.sby python3 make/test_rules.py unsorted/memory.sby python3 make/test_rules.py unsorted/both_ex.sby python3 make/test_rules.py unsorted/2props1trace.sby python3 make/test_rules.py unsorted/cover_unreachable.sby python3 make/test_rules.py unsorted/preunsat.sby python3 make/test_rules.py unsorted/mixed.sby python3 make/test_rules.py unsorted/smtlib2_module.sby python3 make/test_rules.py unsorted/stopfirst.sby python3 make/test_rules.py unsorted/multi_assert.sby python3 make/test_rules.py unsorted/cover.sby python3 make/test_rules.py unsorted/allconst.sby python3 make/test_rules.py unsorted/bmc_len.sby python3 make/test_rules.py unsorted/cover_fail.sby python3 make/test_rules.py unsorted/prv32fmcmp.sby python3 make/test_rules.py unsorted/submod_props.sby python3 make/test_rules.py unsorted/no_vcd.sby python3 make/test_rules.py unsorted/btor_meminit.sby python3 make/test_rules.py regression/const_clocks.sby python3 make/test_rules.py regression/smt_dynamic_index_assign.sby python3 make/test_rules.py regression/ff_xinit_opt.sby python3 make/test_rules.py regression/invalid_ff_dcinit_merge.sby python3 make/test_rules.py regression/fake_loop.sby python3 make/test_rules.py regression/option_skip.sby python3 make/test_rules.py regression/unroll_noincr_traces.sby python3 make/test_rules.py regression/aim_vs_smt2_nonzero_start_offset.sby python3 make/test_rules.py junit/junit_nocodeloc.sby python3 make/test_rules.py junit/junit_assert.sby python3 make/test_rules.py junit/junit_expect.sby python3 make/test_rules.py junit/junit_timeout_error.sby python3 make/test_rules.py junit/junit_cover.sby python3 make/test_rules.py ../docs/examples/puzzles/primegen.sby python3 make/test_rules.py ../docs/examples/puzzles/djb2hash.sby python3 make/test_rules.py ../docs/examples/puzzles/pour_853_to_4.sby python3 make/test_rules.py ../docs/examples/puzzles/wolf_goat_cabbage.sby python3 make/test_rules.py ../docs/examples/fifo/fifo_extra_tests.sby python3 make/test_rules.py ../docs/examples/fifo/fifo.sby python3 make/test_rules.py ../docs/examples/fifo/golden/fifo.sby python3 make/test_rules.py ../docs/examples/quickstart/demo.sby python3 make/test_rules.py ../docs/examples/quickstart/memory.sby python3 make/test_rules.py ../docs/examples/quickstart/prove.sby python3 make/test_rules.py ../docs/examples/quickstart/cover.sby python3 make/test_rules.py ../docs/examples/autotune/divider.sby python3 make/test_rules.py ../docs/examples/multiclk/dpmem.sby python3 make/test_rules.py ../docs/examples/dft/data_diode.sby python3 make/test_rules.py ../docs/examples/abstract/abstr.sby python3 make/test_rules.py ../docs/examples/abstract/props.sby python3 make/test_rules.py ../docs/examples/indinv/prove_p0.sby python3 make/test_rules.py ../docs/examples/indinv/prove_p23.sby python3 make/test_rules.py ../docs/examples/tristate/tristate.sby python3 make/test_rules.py ../docs/examples/demos/picorv32_axicheck.sby python3 make/test_rules.py ../docs/examples/demos/fib.sby python3 make/test_rules.py ../docs/examples/demos/memory.sby python3 make/test_rules.py ../docs/examples/demos/up_down_counter.sby python3 make/collect_tests.py SKIPPING unsorted/demo_btormc: `btormc`, `btorsim` not found SKIPPING autotune/autotune_div_bmc: `boolector` not found SKIPPING keepgoing/keepgoing_smtc: `boolector` not found SKIPPING keepgoing/keepgoing_same_step: `boolector` not found SKIPPING autotune/autotune_options_a: `boolector` not found SKIPPING unsorted/memory_btormc: `btormc`, `btorsim` not found SKIPPING autotune/autotune_options_c: `boolector` not found SKIPPING autotune/autotune_div_cover: `boolector` not found SKIPPING unsorted/demo_cvc5: `cvc5` not found SKIPPING autotune/autotune_div_prove: `boolector` not found SKIPPING unsorted/floor_divmod: `yices-smt2` not found SKIPPING unsorted/demo_cvc4: `cvc4` not found SKIPPING unsorted/redxor: `btormc`, `btorsim` not found SKIPPING unsorted/demo_pono: `btorsim`, `pono` not found SKIPPING unsorted/blackbox: `yices-smt2` not found SKIPPING unsorted/memory_pono: `btorsim`, `pono` not found SKIPPING autotune/autotune_options_d: `boolector` not found SKIPPING autotune/autotune_options_b: `boolector` not found SKIPPING keepgoing/keepgoing_multi_step_bmc: `boolector` not found SKIPPING keepgoing/keepgoing_multi_step_prove: `boolector` not found SKIPPING unsorted/both_ex_btormc: `btormc`, `btorsim` not found SKIPPING unsorted/both_ex_pono: `btorsim`, `pono` not found SKIPPING unsorted/both_ex_cover: `btormc`, `btorsim` not found SKIPPING unsorted/2props1trace: `yices-smt2` not found SKIPPING unsorted/cover_unreachable_btormc: `btormc`, `btorsim` not found SKIPPING unsorted/cover_unreachable_smtbmc: `yices-smt2` not found SKIPPING unsorted/mixed_pono: `btorsim`, `pono` not found SKIPPING unsorted/preunsat_btormc: `btormc`, `btorsim` not found SKIPPING unsorted/mixed_cover: `btormc`, `btorsim` not found SKIPPING unsorted/preunsat_yices: `yices-smt2` not found SKIPPING unsorted/mixed_btormc: `btormc`, `btorsim` not found SKIPPING unsorted/stopfirst: `btormc`, `btorsim` not found SKIPPING unsorted/cover: `btormc`, `btorsim` not found SKIPPING unsorted/smtlib2_module: `yices-smt2` not found SKIPPING unsorted/multi_assert_pono: `btorsim`, `pono` not found SKIPPING unsorted/multi_assert_btormc: `btormc`, `btorsim` not found SKIPPING unsorted/allconst_yices: `yices-smt2` not found SKIPPING unsorted/bmc_len_smtbmc_pass: `boolector` not found SKIPPING unsorted/bmc_len_aigbmc_pass: `aigbmc`, `yices` not found SKIPPING unsorted/allconst_z3: `z3` not found SKIPPING unsorted/bmc_len_aigbmc_fail: `aigbmc`, `yices` not found SKIPPING unsorted/bmc_len_smtbmc_fail: `boolector` not found SKIPPING unsorted/bmc_len_btormc_pass: `btormc`, `btorsim` not found SKIPPING unsorted/bmc_len_btormc_fail: `btormc`, `btorsim` not found SKIPPING unsorted/bmc_len_abc_fail: `yices` not found SKIPPING unsorted/submod_props_cover: `boolector` not found SKIPPING unsorted/submod_props_bmc: `boolector` not found SKIPPING unsorted/cover_fail: `boolector` not found SKIPPING unsorted/bmc_len_abc_pass: `yices` not found SKIPPING unsorted/no_vcd_smtbmc: `yices-smt2` not found SKIPPING unsorted/prv32fmcmp_btormc: `btormc`, `btorsim` not found SKIPPING unsorted/prv32fmcmp_pono: `btorsim`, `pono` not found SKIPPING unsorted/no_vcd_aiger: `suprove`, `yices` not found SKIPPING unsorted/submod_props_flatten: `boolector` not found SKIPPING unsorted/btor_meminit_btormc: `btormc`, `btorsim` not found SKIPPING unsorted/no_vcd_btor_bmc: `btormc`, `btorsim` not found SKIPPING unsorted/no_vcd_btor_cover: `btormc`, `btorsim` not found SKIPPING unsorted/no_vcd_abc: `yices` not found SKIPPING unsorted/btor_meminit_smtbmc: `yices-smt2` not found SKIPPING regression/const_clocks_smt: `boolector` not found SKIPPING regression/const_clocks_btor: `btormc`, `btorsim` not found SKIPPING regression/const_clocks_btor_m: `btormc`, `btorsim` not found SKIPPING regression/const_clocks_smt_m: `boolector` not found SKIPPING regression/smt_dynamic_index_assign: `boolector` not found SKIPPING regression/invalid_ff_dcinit_merge: `yices-smt2` not found SKIPPING regression/ff_xinit_opt: `boolector` not found SKIPPING regression/fake_loop: `boolector` not found SKIPPING regression/option_skip_smtbmc_fail: `boolector` not found SKIPPING regression/option_skip_smtbmc_pass: `boolector` not found SKIPPING regression/option_skip_btormc_pass: `btormc`, `btorsim` not found SKIPPING regression/aim_vs_smt2_nonzero_start_offset_abc_sim3: `yices` not found SKIPPING regression/option_skip_btormc_fail: `btormc`, `btorsim` not found SKIPPING regression/unroll_noincr_traces_boolector: `boolector` not found SKIPPING regression/unroll_noincr_traces_yices: `yices-smt2` not found SKIPPING regression/unroll_noincr_traces_z3: `z3` not found SKIPPING regression/aim_vs_smt2_nonzero_start_offset_abc_bmc3: `yices` not found SKIPPING regression/aim_vs_smt2_nonzero_start_offset_aiger_avy: `avy`, `yices` not found SKIPPING regression/aim_vs_smt2_nonzero_start_offset_aiger_suprove: `suprove`, `yices` not found SKIPPING regression/aim_vs_smt2_nonzero_start_offset_abc_pdr: `yices` not found SKIPPING junit/junit_nocodeloc: `boolector` not found SKIPPING junit/junit_assert_pass: `boolector` not found SKIPPING junit/junit_assert_preunsat: `boolector` not found SKIPPING junit/junit_assert_fail: `boolector` not found SKIPPING junit/junit_expect: `yices-smt2` not found cd junit && env SBY_FILE=junit_timeout_error.sby WORKDIR=junit_timeout_error_solver TASK=solver bash junit_timeout_error.sh SKIPPING junit/junit_timeout_error_syntax: `z3` not found SKIPPING junit/junit_timeout_error_timeout: `z3` not found SKIPPING junit/junit_cover_pass: `boolector` not found SKIPPING junit/junit_cover_assert: `boolector` not found SKIPPING ../docs/examples/puzzles/pour_853_to_4: `yices-smt2` not found SKIPPING ../docs/examples/puzzles/primegen_primes_pass: `z3` not found SKIPPING junit/junit_cover_preunsat: `boolector` not found SKIPPING junit/junit_cover_uncovered: `boolector` not found SKIPPING ../docs/examples/puzzles/primegen_primes_fail: `z3` not found SKIPPING ../docs/examples/puzzles/djb2hash: `yices-smt2` not found SKIPPING ../docs/examples/puzzles/primegen_primegen: `z3` not found SKIPPING ../docs/examples/puzzles/wolf_goat_cabbage: `yices-smt2` not found SKIPPING ../docs/examples/fifo/fifo_extra_tests_nofullskip: `boolector` not found SKIPPING ../docs/examples/fifo/fifo_basic: `boolector` not found SKIPPING ../docs/examples/fifo/fifo_extra_tests_noverific: `boolector` not found SKIPPING ../docs/examples/fifo/golden/fifo_basic: `boolector` not found SKIPPING ../docs/examples/fifo/fifo_cover: `boolector` not found SKIPPING ../docs/examples/fifo/golden/fifo_nofullskip: `boolector` not found SKIPPING ../docs/examples/fifo/golden/fifo_cover: `boolector` not found SKIPPING ../docs/examples/fifo/golden/fifo_noverific: `boolector` not found SKIPPING ../docs/examples/fifo/golden/fifo_bigtest: `boolector` not found SKIPPING ../docs/examples/quickstart/demo: `yices-smt2` not found SKIPPING ../docs/examples/quickstart/prove: `yices-smt2` not found SKIPPING ../docs/examples/quickstart/memory: `boolector` not found SKIPPING ../docs/examples/quickstart/cover: `yices-smt2` not found SKIPPING ../docs/examples/autotune/divider_small: `yices-smt2` not found SKIPPING ../docs/examples/multiclk/dpmem: `yices-smt2` not found SKIPPING ../docs/examples/tristate/tristate_pass: `yices-smt2` not found SKIPPING ../docs/examples/dft/data_diode_direct: requires yosys with verific support SKIPPING ../docs/examples/abstract/props_cvr: requires yosys with verific support SKIPPING ../docs/examples/abstract/props_prv: requires yosys with verific support SKIPPING ../docs/examples/demos/picorv32_axicheck_yices: `yices-smt2` not found SKIPPING ../docs/examples/abstract/abstr: requires yosys with verific support SKIPPING ../docs/examples/indinv/prove_p0_p2: requires yosys with verific support SKIPPING ../docs/examples/indinv/prove_p0_p3: requires yosys with verific support SKIPPING ../docs/examples/demos/picorv32_axicheck_boolector: `boolector` not found SKIPPING ../docs/examples/indinv/prove_p0_k: requires yosys with verific support SKIPPING ../docs/examples/demos/picorv32_axicheck_abc: `yices` not found SBY 23:09:45 [junit_timeout_error_solver] Removing directory '/home/buildozer/aports/testing/symbiyosys/src/sby-yosys-0.35/tests/junit/junit_timeout_error_solver'. SKIPPING ../docs/examples/demos/picorv32_axicheck_z3: `z3` not found SKIPPING ../docs/examples/tristate/tristate_fail: `yices-smt2` not found SBY 23:09:45 [junit_timeout_error_solver] Writing 'junit_timeout_error_solver/src/primes.sv'. SBY 23:09:45 [junit_timeout_error_solver] engine_0: smtbmc foo SKIPPING ../docs/examples/dft/data_diode_diode: requires yosys with verific support SKIPPING ../docs/examples/demos/fib_cover: `z3` not found SKIPPING ../docs/examples/demos/fib_live: `suprove`, `yices` not found SBY 23:09:45 [junit_timeout_error_solver] base: starting process "cd junit_timeout_error_solver/src; yosys -ql ../model/design.log ../model/design.ys" SKIPPING ../docs/examples/indinv/prove_p23_p2: requires yosys with verific support SKIPPING ../docs/examples/demos/fib_prove: `yices` not found SKIPPING ../docs/examples/demos/up_down_counter_suprove: `suprove`, `yices` not found SKIPPING ../docs/examples/demos/up_down_counter_avy: `avy`, `yices` not found SKIPPING ../docs/examples/indinv/prove_p23_p3: requires yosys with verific support SKIPPING ../docs/examples/demos/memory: `yices-smt2` not found SBY 23:09:45 [junit_timeout_error_solver] base: finished (returncode=0) SBY 23:09:45 [junit_timeout_error_solver] prep: starting process "cd junit_timeout_error_solver/model; yosys -ql design_prep.log design_prep.ys" SBY 23:09:45 [junit_timeout_error_solver] prep: finished (returncode=0) SBY 23:09:45 [junit_timeout_error_solver] smt2: starting process "cd junit_timeout_error_solver/model; yosys -ql design_smt2.log design_smt2.ys" SBY 23:09:45 [junit_timeout_error_solver] smt2: ERROR: Forall-exists problems are only supported in -stbv or -stdt mode. SBY 23:09:45 [junit_timeout_error_solver] smt2: finished (returncode=1) SBY 23:09:45 [junit_timeout_error_solver] smt2: task failed. ERROR. SBY 23:09:45 [junit_timeout_error_solver] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) SBY 23:09:45 [junit_timeout_error_solver] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0) SBY 23:09:45 [junit_timeout_error_solver] summary: engine_0 (smtbmc foo) did not return a status SBY 23:09:45 [junit_timeout_error_solver] summary: engine_0 did not produce any traces SBY 23:09:45 [junit_timeout_error_solver] summary: unreached cover statements: SBY 23:09:45 [junit_timeout_error_solver] summary: primes.$cover$primes.sv:16$31 at primes.sv:16.23-17.12 SBY 23:09:45 [junit_timeout_error_solver] DONE (ERROR, rc=0) SKIPPING python library xmlschema not found, skipping JUnit output validation make[1]: Leaving directory '/home/buildozer/aports/testing/symbiyosys/src/sby-yosys-0.35/tests' >>> symbiyosys: Entering fakeroot... mkdir -p /home/buildozer/aports/testing/symbiyosys/pkg/symbiyosys/usr/bin mkdir -p /home/buildozer/aports/testing/symbiyosys/pkg/symbiyosys/usr/share/yosys/python3 cp sbysrc/sby_*.py /home/buildozer/aports/testing/symbiyosys/pkg/symbiyosys/usr/share/yosys/python3/ sed -e 's|##yosys-program-prefix##|"''"|' < sbysrc/sby_core.py > /home/buildozer/aports/testing/symbiyosys/pkg/symbiyosys/usr/share/yosys/python3/sby_core.py sed 's|##yosys-sys-path##|sys.path += [os.path.dirname(__file__) + p for p in ["/share/python3", "/../share/yosys/python3"]]|;' < sbysrc/sby.py > /home/buildozer/aports/testing/symbiyosys/pkg/symbiyosys/usr/bin/sby chmod +x /home/buildozer/aports/testing/symbiyosys/pkg/symbiyosys/usr/bin/sby >>> symbiyosys*: Running postcheck for symbiyosys >>> symbiyosys*: Preparing package symbiyosys... >>> symbiyosys*: Tracing dependencies... >>> symbiyosys*: Package size: 220.0 KB >>> symbiyosys*: Compressing data... >>> symbiyosys*: Create checksum... >>> symbiyosys*: Create symbiyosys-0.35-r0.apk >>> symbiyosys: Build complete at Thu, 16 Nov 2023 23:09:45 +0000 elapsed time 0h 0m 6s >>> symbiyosys: Cleaning up srcdir >>> symbiyosys: Cleaning up pkgdir >>> symbiyosys: Uninstalling dependencies... (1/21) Purging .makedepends-symbiyosys (20231116.230941) (2/21) Purging py3-click-pyc (8.1.7-r0) (3/21) Purging py3-click (8.1.7-r0) (4/21) Purging yosys (0.35-r0) (5/21) Purging bash (5.2.15-r6) Executing bash-5.2.15-r6.pre-deinstall (6/21) Purging boost1.82-filesystem (1.82.0-r3) (7/21) Purging boost1.82-python3 (1.82.0-r3) (8/21) Purging python3-pyc (3.11.6-r1) (9/21) Purging python3-pycache-pyc0 (3.11.6-r1) (10/21) Purging pyc (3.11.6-r1) (11/21) Purging tcl (8.6.13-r1) (12/21) Purging tzdata (2023c-r1) (13/21) Purging python3 (3.11.6-r1) (14/21) Purging gdbm (1.23-r1) (15/21) Purging libbz2 (1.0.8-r6) (16/21) Purging libffi (3.4.4-r3) (17/21) Purging libpanelw (6.4_p20231007-r0) (18/21) Purging mpdecimal (2.5.1-r2) (19/21) Purging readline (8.2.1-r2) (20/21) Purging sqlite-libs (3.44.0-r0) (21/21) Purging xz-libs (5.4.5-r0) Executing busybox-1.36.1-r15.trigger OK: 377 MiB in 105 packages >>> symbiyosys: Updating the testing/x86_64 repository index... >>> symbiyosys: Signing the index...