sts/regress/wd/issue218.smt2 [ --incremental ]
PASS [0.012 s]
tests/regress/wd/issue220.smt2 [ --incremental ]
PASS [0.027 s]
tests/regress/wd/issue221.smt2
PASS [0.033 s]
tests/regress/wd/issue222.smt2 [ --incremental ]
PASS [0.027 s]
tests/regress/wd/issue229.smt2
PASS [0.033 s]
tests/regress/wd/issue229b.smt2
PASS [0.022 s]
tests/regress/wd/issue236.smt2 [ --incremental ]
PASS [0.032 s]
tests/regress/wd/issue238.smt2 [ --incremental ]
PASS [0.018 s]
tests/regress/wd/issue240.smt2
PASS [0.012 s]
tests/regress/wd/issue245.smt2
PASS [0.044 s]
tests/regress/wd/issue246.smt2
PASS [0.022 s]
tests/regress/wd/issue247.smt2
PASS [0.027 s]
tests/regress/wd/issue247b.smt2
PASS [0.034 s]
tests/regress/wd/issue251.smt2
PASS [0.027 s]
tests/regress/wd/issue252.smt2
PASS [0.023 s]
tests/regress/wd/issue253.smt2
PASS [0.044 s]
tests/regress/wd/issue255.smt2 [ --incremental ]
PASS [0.028 s]
tests/regress/wd/issue289.smt2
PASS [0.022 s]
tests/regress/wd/issue289b.smt2
PASS [0.012 s]
tests/regress/wd/issue289c.smt2
PASS [0.044 s]
tests/regress/wd/issue293.smt2
PASS [0.044 s]
tests/regress/wd/issue294.smt2
PASS [0.044 s]
tests/regress/wd/issue297.smt2 [ --incremental ]
PASS [0.033 s]
tests/regress/wd/issue300.smt2 [ --incremental ]
PASS [0.042 s]
tests/regress/wd/issue301.smt2
PASS [0.033 s]
tests/regress/wd/issue302.smt2 [ --incremental ]
PASS [0.009 s]
tests/regress/wd/issue302b.smt2 [ --incremental ]
PASS [0.018 s]
tests/regress/wd/issue305.smt2
PASS [0.033 s]
tests/regress/wd/issue305.ys
PASS [0.022 s]
tests/regress/wd/issue308.smt2
PASS [0.027 s]
tests/regress/wd/issue311g.smt2
PASS [0.034 s]
tests/regress/wd/issue312.smt2
PASS [5.600 s]
tests/regress/wd/issue313.smt2
PASS [0.034 s]
tests/regress/wd/issue314.smt2
PASS [0.022 s]
tests/regress/wd/issue316.smt2
PASS [0.043 s]
tests/regress/wd/issue316b.smt2
PASS [0.022 s]
tests/regress/wd/issue316c.smt2
PASS [0.033 s]
tests/regress/wd/issue316d.smt2
PASS [0.026 s]
tests/regress/wd/issue326.smt2
PASS [0.032 s]
tests/regress/wd/issue330.smt2
PASS [0.022 s]
tests/regress/wd/issue331.smt2
PASS [0.033 s]
tests/regress/wd/issue335.smt2
PASS [0.023 s]
tests/regress/wd/issue335b.smt2
PASS [0.034 s]
tests/regress/wd/issue349.smt2
PASS [0.033 s]
tests/regress/wd/issue365.smt2
PASS [0.019 s]
tests/regress/wd/prp-1-22.smt2
PASS [0.022 s]
tests/regress/wd/prp-1-31.smt2
PASS [0.049 s]
tests/regress/wd/prp-2-18.smt2
PASS [0.089 s]
tests/regress/wd/prp-24-47.smt2
PASS [3.015 s]
tests/regress/wd/prp-5-17.smt2
PASS [0.066 s]
tests/regress/wd/simple_startup_4nodes.abstract.base.smt2
PASS [0.051 s]
tests/regress/wd/simple_startup_4nodes.abstract.induct.smt2
PASS [3.058 s]
tests/regress/wd/simple_startup_4nodes.bug.induct.smt2
PASS [0.206 s]
tests/regress/wd/simple_startup_4nodes.missing.induct.smt2
PASS [0.172 s]
tests/regress/wd/simple_startup_4nodes.synchro.base.smt2
PASS [0.063 s]
tests/regress/wd/simple_startup_4nodes.synchro.induct.smt2
PASS [0.075 s]
tests/regress/wd/uhler-segv1.ys
PASS [0.120 s]
tests/regress/wd/wintered.smt2
PASS [0.027 s]
Pass: 1622
Fail: 2
1. tests/regress/coverage/smtlib/QF_ABV/brummayerbiere/fifo32ia06k05.smt2
0a1
> sat
2. tests/regress/mcsat/uf/10u05.04.smt2
0a1
> sat
make[1]: Leaving directory '/builddir/build/BUILD/yices2-Yices-2.6.4'
make[1]: *** [Makefile.build:312: regress] Error 1
make: *** [Makefile:284: check] Error 2
error: Bad exit status from /var/tmp/rpm-tmp.tzgPCS (%check)
    Bad exit status from /var/tmp/rpm-tmp.tzgPCS (%check)
RPM build errors:
Child return code was: 1
EXCEPTION: [Error()]
Traceback (most recent call last):
  File "/usr/lib/python3.9/site-packages/mockbuild/trace_decorator.py", line 93, in trace
    result = func(*args, **kw)
  File "/usr/lib/python3.9/site-packages/mockbuild/util.py", line 600, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # bash --login -c /usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/yices.spec