>>> symbiyosys: Building testing/symbiyosys 0.36-r0 (using abuild 3.12.0-r0) started Mon, 18 Dec 2023 21:24:46 +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_p20231125-r0)
(7/21) Installing readline (8.2.7-r0)
(8/21) Installing sqlite-libs (3.44.2-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.36-r0)
(20/21) Installing bash (5.2.21-r0)
Executing bash-5.2.21-r0.post-install
(21/21) Installing .makedepends-symbiyosys (20231218.212447)
Executing busybox-1.36.1-r17.trigger
OK: 482 MiB in 125 packages
>>> symbiyosys: Cleaning up srcdir
>>> symbiyosys: Cleaning up pkgdir
>>> symbiyosys: Cleaning up tmpdir
>>> symbiyosys: Fetching https://distfiles.alpinelinux.org/distfiles/edge/symbiyosys-0.36.tar.gz
>>> symbiyosys: Fetching https://distfiles.alpinelinux.org/distfiles/edge/symbiyosys-0.36.tar.gz
>>> symbiyosys: Checking sha512sums...
symbiyosys-0.36.tar.gz: OK
>>> symbiyosys: Unpacking /var/cache/distfiles/symbiyosys-0.36.tar.gz...
make -C tests test
make[1]: Entering directory '/home/buildozer/aports/testing/symbiyosys/src/sby-yosys-0.36/tests'
python3 make/collect_tests.py
python3 make/test_rules.py autotune/autotune_div.sby
python3 make/test_rules.py autotune/autotune_options.sby
python3 make/test_rules.py regression/const_clocks.sby
python3 make/test_rules.py regression/ff_xinit_opt.sby
python3 make/test_rules.py regression/option_skip.sby
python3 make/test_rules.py regression/smt_dynamic_index_assign.sby
python3 make/test_rules.py regression/fake_loop.sby
python3 make/test_rules.py regression/invalid_ff_dcinit_merge.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_assert.sby
python3 make/test_rules.py junit/junit_timeout_error.sby
python3 make/test_rules.py junit/junit_expect.sby
python3 make/test_rules.py junit/junit_cover.sby
python3 make/test_rules.py junit/junit_nocodeloc.sby
python3 make/test_rules.py keepgoing/keepgoing_same_step.sby
python3 make/test_rules.py keepgoing/keepgoing_multi_step.sby
python3 make/test_rules.py keepgoing/keepgoing_smtc.sby
python3 make/test_rules.py unsorted/prv32fmcmp.sby
python3 make/test_rules.py unsorted/mixed.sby
python3 make/test_rules.py unsorted/cover_unreachable.sby
python3 make/test_rules.py unsorted/preunsat.sby
python3 make/test_rules.py unsorted/btor_meminit.sby
python3 make/test_rules.py unsorted/multi_assert.sby
python3 make/test_rules.py unsorted/allconst.sby
python3 make/test_rules.py unsorted/cover_fail.sby
python3 make/test_rules.py unsorted/bmc_len.sby
python3 make/test_rules.py unsorted/blackbox.sby
python3 make/test_rules.py unsorted/cover.sby
python3 make/test_rules.py unsorted/stopfirst.sby
python3 make/test_rules.py unsorted/memory.sby
python3 make/test_rules.py unsorted/submod_props.sby
python3 make/test_rules.py unsorted/floor_divmod.sby
python3 make/test_rules.py unsorted/2props1trace.sby
python3 make/test_rules.py unsorted/no_vcd.sby
python3 make/test_rules.py unsorted/smtlib2_module.sby
python3 make/test_rules.py unsorted/redxor.sby
python3 make/test_rules.py unsorted/demo.sby
python3 make/test_rules.py unsorted/both_ex.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/multiclk/dpmem.sby
python3 make/test_rules.py ../docs/examples/autotune/divider.sby
python3 make/test_rules.py ../docs/examples/fifo/fifo.sby
python3 make/test_rules.py ../docs/examples/fifo/fifo_extra_tests.sby
python3 make/test_rules.py ../docs/examples/fifo/golden/fifo.sby
python3 make/test_rules.py ../docs/examples/demos/up_down_counter.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/picorv32_axicheck.sby
python3 make/test_rules.py ../docs/examples/quickstart/cover.sby
python3 make/test_rules.py ../docs/examples/quickstart/memory.sby
python3 make/test_rules.py ../docs/examples/quickstart/demo.sby
python3 make/test_rules.py ../docs/examples/quickstart/prove.sby
python3 make/test_rules.py ../docs/examples/dft/data_diode.sby
python3 make/test_rules.py ../docs/examples/tristate/tristate.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/puzzles/wolf_goat_cabbage.sby
python3 make/test_rules.py ../docs/examples/puzzles/djb2hash.sby
python3 make/test_rules.py ../docs/examples/puzzles/primegen.sby
python3 make/test_rules.py ../docs/examples/puzzles/pour_853_to_4.sby
python3 make/collect_tests.py

SKIPPING autotune/autotune_options_a: `boolector` not found


SKIPPING autotune/autotune_options_b: `boolector` not found


SKIPPING autotune/autotune_options_c: `boolector` not found


SKIPPING autotune/autotune_div_cover: `boolector` not found


SKIPPING regression/const_clocks_btor: `btormc`, `btorsim` not found


SKIPPING autotune/autotune_div_bmc: `boolector` not found


SKIPPING autotune/autotune_options_d: `boolector` not found


SKIPPING autotune/autotune_div_prove: `boolector` not found


SKIPPING regression/const_clocks_smt: `boolector` not found


SKIPPING regression/const_clocks_btor_m: `btormc`, `btorsim` not found


SKIPPING regression/ff_xinit_opt: `boolector` not found


SKIPPING regression/const_clocks_smt_m: `boolector` not found


SKIPPING regression/option_skip_smtbmc_fail: `boolector` not found


SKIPPING regression/option_skip_smtbmc_pass: `boolector` not found


SKIPPING regression/fake_loop: `boolector` not found


SKIPPING regression/option_skip_btormc_fail: `btormc`, `btorsim` not found


SKIPPING regression/invalid_ff_dcinit_merge: `yices-smt2` not found


SKIPPING regression/smt_dynamic_index_assign: `boolector` not found


SKIPPING regression/unroll_noincr_traces_boolector: `boolector` not found


SKIPPING regression/option_skip_btormc_pass: `btormc`, `btorsim` 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_abc_sim3: `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_assert_preunsat: `boolector` 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_timeout: `z3` not found


SKIPPING junit/junit_expect: `yices-smt2` not found


SKIPPING junit/junit_assert_fail: `boolector` not found


SKIPPING junit/junit_assert_pass: `boolector` not found


SKIPPING junit/junit_cover_uncovered: `boolector` not found


SKIPPING junit/junit_timeout_error_syntax: `z3` not found


SKIPPING junit/junit_cover_pass: `boolector` not found


SKIPPING junit/junit_cover_assert: `boolector` not found


SKIPPING junit/junit_nocodeloc: `boolector` not found


SKIPPING junit/junit_cover_preunsat: `boolector` not found


SKIPPING keepgoing/keepgoing_same_step: `boolector` not found


SKIPPING keepgoing/keepgoing_multi_step_bmc: `boolector` not found


SKIPPING keepgoing/keepgoing_multi_step_prove: `boolector` not found


SKIPPING unsorted/prv32fmcmp_btormc: `btormc`, `btorsim` not found


SKIPPING keepgoing/keepgoing_smtc: `boolector` not found


SKIPPING unsorted/mixed_cover: `btormc`, `btorsim` not found


SKIPPING unsorted/mixed_btormc: `btormc`, `btorsim` not found


SKIPPING unsorted/prv32fmcmp_pono: `btorsim`, `pono` not found


SKIPPING unsorted/cover_unreachable_smtbmc: `yices-smt2` not found


SKIPPING unsorted/preunsat_yices: `yices-smt2` not found


SKIPPING unsorted/mixed_pono: `btorsim`, `pono` not found


SKIPPING unsorted/cover_unreachable_btormc: `btormc`, `btorsim` not found


SKIPPING unsorted/multi_assert_pono: `btorsim`, `pono` not found


SKIPPING unsorted/btor_meminit_smtbmc: `yices-smt2` not found


SKIPPING unsorted/multi_assert_btormc: `btormc`, `btorsim` not found


SKIPPING unsorted/btor_meminit_btormc: `btormc`, `btorsim` not found


SKIPPING unsorted/allconst_z3: `z3` not found


SKIPPING unsorted/cover_fail: `boolector` not found


SKIPPING unsorted/allconst_yices: `yices-smt2` not found


SKIPPING unsorted/bmc_len_smtbmc_fail: `boolector` not found


SKIPPING unsorted/bmc_len_smtbmc_pass: `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_pass: `yices` not found


SKIPPING unsorted/bmc_len_abc_fail: `yices` not found


SKIPPING unsorted/bmc_len_aigbmc_pass: `aigbmc`, `yices` not found


SKIPPING unsorted/blackbox: `yices-smt2` not found


SKIPPING unsorted/bmc_len_aigbmc_fail: `aigbmc`, `yices` not found


SKIPPING unsorted/preunsat_btormc: `btormc`, `btorsim` not found


SKIPPING unsorted/stopfirst: `btormc`, `btorsim` not found


SKIPPING unsorted/cover: `btormc`, `btorsim` not found


SKIPPING unsorted/memory_btormc: `btormc`, `btorsim` not found


SKIPPING unsorted/memory_pono: `btorsim`, `pono` not found


SKIPPING unsorted/submod_props_cover: `boolector` not found


SKIPPING unsorted/submod_props_flatten: `boolector` not found


SKIPPING unsorted/submod_props_bmc: `boolector` not found


SKIPPING unsorted/2props1trace: `yices-smt2` not found


SKIPPING unsorted/no_vcd_btor_cover: `btormc`, `btorsim` not found


SKIPPING unsorted/no_vcd_btor_bmc: `btormc`, `btorsim` not found


SKIPPING unsorted/no_vcd_smtbmc: `yices-smt2` not found


SKIPPING unsorted/floor_divmod: `yices-smt2` not found


SKIPPING unsorted/no_vcd_abc: `yices` not found


SKIPPING unsorted/no_vcd_aiger: `suprove`, `yices` not found


SKIPPING unsorted/smtlib2_module: `yices-smt2` not found


SKIPPING unsorted/redxor: `btormc`, `btorsim` not found


SKIPPING unsorted/demo_btormc: `btormc`, `btorsim` not found


SKIPPING unsorted/demo_cvc4: `cvc4` not found


SKIPPING unsorted/demo_pono: `btorsim`, `pono` not found


SKIPPING unsorted/both_ex_pono: `btorsim`, `pono` not found


SKIPPING unsorted/both_ex_btormc: `btormc`, `btorsim` not found


SKIPPING unsorted/demo_cvc5: `cvc5` not found


SKIPPING unsorted/both_ex_cover: `btormc`, `btorsim` not found


SKIPPING ../docs/examples/multiclk/dpmem: `yices-smt2` not found


SKIPPING ../docs/examples/fifo/fifo_cover: `boolector` not found


SKIPPING ../docs/examples/fifo/fifo_basic: `boolector` not found


SKIPPING ../docs/examples/autotune/divider_small: `yices-smt2` not found


SKIPPING ../docs/examples/fifo/golden/fifo_cover: `boolector` not found


SKIPPING ../docs/examples/fifo/fifo_extra_tests_nofullskip: `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/golden/fifo_noverific: `boolector` not found


SKIPPING ../docs/examples/fifo/golden/fifo_bigtest: `boolector` not found


SKIPPING ../docs/examples/fifo/golden/fifo_nofullskip: `boolector` not found


SKIPPING ../docs/examples/demos/fib_cover: `z3` not found


SKIPPING ../docs/examples/demos/up_down_counter_avy: `avy`, `yices` not found


SKIPPING ../docs/examples/demos/up_down_counter_suprove: `suprove`, `yices` not found


SKIPPING ../docs/examples/demos/fib_live: `suprove`, `yices` not found


SKIPPING ../docs/examples/demos/memory: `yices-smt2` not found


SKIPPING ../docs/examples/demos/picorv32_axicheck_abc: `yices` not found


SKIPPING ../docs/examples/demos/picorv32_axicheck_yices: `yices-smt2` not found


SKIPPING ../docs/examples/demos/fib_prove: `yices` not found


SKIPPING ../docs/examples/demos/picorv32_axicheck_boolector: `boolector` not found


SKIPPING ../docs/examples/demos/picorv32_axicheck_z3: `z3` not found


SKIPPING ../docs/examples/quickstart/memory: `boolector` not found


SKIPPING ../docs/examples/quickstart/cover: `yices-smt2` not found


SKIPPING ../docs/examples/quickstart/prove: `yices-smt2` not found


SKIPPING ../docs/examples/tristate/tristate_pass: `yices-smt2` not found


SKIPPING ../docs/examples/tristate/tristate_fail: `yices-smt2` not found


SKIPPING ../docs/examples/puzzles/djb2hash: `yices-smt2` not found


SKIPPING ../docs/examples/quickstart/demo: `yices-smt2` not found


SKIPPING ../docs/examples/puzzles/wolf_goat_cabbage: `yices-smt2` not found


SKIPPING ../docs/examples/puzzles/primegen_primegen: `z3` not found


SKIPPING ../docs/examples/puzzles/primegen_primes_fail: `z3` not found


SKIPPING ../docs/examples/puzzles/primegen_primes_pass: `z3` not found


SKIPPING ../docs/examples/puzzles/pour_853_to_4: `yices-smt2` not found


SKIPPING ../docs/examples/indinv/prove_p0_p2: requires yosys with verific support


SKIPPING ../docs/examples/indinv/prove_p23_p3: requires yosys with verific support


SKIPPING ../docs/examples/indinv/prove_p0_k: requires yosys with verific support


SKIPPING ../docs/examples/indinv/prove_p23_p2: requires yosys with verific support


SKIPPING ../docs/examples/indinv/prove_p0_p3: requires yosys with verific support


SKIPPING ../docs/examples/dft/data_diode_direct: requires yosys with verific support


SKIPPING ../docs/examples/dft/data_diode_diode: requires yosys with verific support


SKIPPING ../docs/examples/abstract/props_prv: requires yosys with verific support


SKIPPING ../docs/examples/abstract/abstr: requires yosys with verific support


SKIPPING ../docs/examples/abstract/props_cvr: requires yosys with verific support

SBY 21:24:49 [junit_timeout_error_solver] Removing directory '/home/buildozer/aports/testing/symbiyosys/src/sby-yosys-0.36/tests/junit/junit_timeout_error_solver'.
SBY 21:24:49 [junit_timeout_error_solver] Writing 'junit_timeout_error_solver/src/primes.sv'.
SBY 21:24:49 [junit_timeout_error_solver] engine_0: smtbmc foo
SBY 21:24:49 [junit_timeout_error_solver] base: starting process "cd junit_timeout_error_solver/src; yosys -ql ../model/design.log ../model/design.ys"
SBY 21:24:49 [junit_timeout_error_solver] base: finished (returncode=0)
SBY 21:24:49 [junit_timeout_error_solver] prep: starting process "cd junit_timeout_error_solver/model; yosys -ql design_prep.log design_prep.ys"
SBY 21:24:49 [junit_timeout_error_solver] prep: finished (returncode=0)
SBY 21:24:49 [junit_timeout_error_solver] smt2: starting process "cd junit_timeout_error_solver/model; yosys -ql design_smt2.log design_smt2.ys"
SBY 21:24:49 [junit_timeout_error_solver] smt2: ERROR: Forall-exists problems are only supported in -stbv or -stdt mode.
SBY 21:24:49 [junit_timeout_error_solver] smt2: finished (returncode=1)
SBY 21:24:49 [junit_timeout_error_solver] smt2: task failed. ERROR.
SBY 21:24:49 [junit_timeout_error_solver] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0)
SBY 21:24:49 [junit_timeout_error_solver] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0)
SBY 21:24:49 [junit_timeout_error_solver] summary: engine_0 (smtbmc foo) did not return a status
SBY 21:24:49 [junit_timeout_error_solver] summary: engine_0 did not produce any traces
SBY 21:24:49 [junit_timeout_error_solver] summary: unreached cover statements:
SBY 21:24:49 [junit_timeout_error_solver] summary:   primes.$cover$primes.sv:16$31 at primes.sv:16.23-17.12
SBY 21:24:49 [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.36/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.36-r0.apk
>>> symbiyosys: Build complete at Mon, 18 Dec 2023 21:24:49 +0000 elapsed time 0h 0m 3s
>>> symbiyosys: Cleaning up srcdir
>>> symbiyosys: Cleaning up pkgdir
>>> symbiyosys: Uninstalling dependencies...
(1/21) Purging .makedepends-symbiyosys (20231218.212447)
(2/21) Purging py3-click-pyc (8.1.7-r0)
(3/21) Purging py3-click (8.1.7-r0)
(4/21) Purging yosys (0.36-r0)
(5/21) Purging bash (5.2.21-r0)
Executing bash-5.2.21-r0.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_p20231125-r0)
(18/21) Purging mpdecimal (2.5.1-r2)
(19/21) Purging readline (8.2.7-r0)
(20/21) Purging sqlite-libs (3.44.2-r0)
(21/21) Purging xz-libs (5.4.5-r0)
Executing busybox-1.36.1-r17.trigger
OK: 380 MiB in 104 packages
>>> symbiyosys: Updating the testing/aarch64 repository index...
>>> symbiyosys: Signing the index...