model::check ]
PASS [0.191 s]
tests/regress/mcsat/ufbv/fuzz09.smt2 [ --mcsat --trace mcsat::model::check ]
PASS [0.164 s]
tests/regress/tptp/tptp_830326_ARI376=1.smt2
PASS [0.115 s]
tests/regress/tptp/tptp_830327_ARI369=1.smt2
PASS [0.152 s]
tests/regress/tptp/tptp_830328_ARI355=1.smt2
PASS [0.137 s]
tests/regress/tptp/tptp_830329_NUM914=1.smt2
PASS [0.130 s]
tests/regress/tptp/tptp_830330_NUM907=1.smt2
PASS [0.140 s]
tests/regress/tptp/tptp_830331_ARI389=1.smt2
PASS [0.099 s]
tests/regress/tptp/tptp_830332_ARI383=1.smt2
PASS [0.098 s]
tests/regress/tptp/tptp_830333_ARI398=1.smt2
PASS [0.116 s]
tests/regress/tptp/tptp_830334_ARI349=1.smt2
PASS [0.119 s]
tests/regress/tptp/tptp_830335_ARI362=1.smt2
PASS [0.145 s]
tests/regress/tptp/tptp_830336_ARI356=1.smt2
PASS [0.088 s]
tests/regress/tptp/tptp_830337_NUM910=1.smt2
PASS [0.113 s]
tests/regress/tptp/tptp_830338_ARI400=1.smt2
PASS [0.138 s]
tests/regress/tptp/tptp_830339_ARI370=1.smt2
PASS [0.127 s]
tests/regress/tptp/tptp_830340_ARI371=1.smt2
PASS [0.160 s]
tests/regress/tptp/tptp_830341_ARI361=1.smt2
PASS [0.121 s]
tests/regress/tptp/tptp_830342_ARI357=1.smt2
PASS [0.137 s]
tests/regress/tptp/tptp_830343_ARI396=1.smt2
PASS [0.131 s]
tests/regress/tptp/tptp_830344_ARI348=1.smt2
PASS [0.166 s]
tests/regress/tptp/tptp_830345_ARI397=1.smt2
PASS [0.172 s]
tests/regress/tptp/tptp_830346_ARI388=1.smt2
PASS [0.111 s]
tests/regress/tptp/tptp_830347_NUM903=1.smt2
PASS [0.122 s]
tests/regress/tptp/tptp_830348_ARI375=1.smt2
PASS [0.132 s]
tests/regress/tptp/tptp_830349_ARI384=1.smt2
PASS [0.123 s]
tests/regress/tptp/tptp_830350_ARI382=1.smt2
PASS [0.089 s]
tests/regress/wd/39025_reduced.smt2
PASS [0.241 s]
tests/regress/wd/39025_reduced_more.smt2
PASS [0.156 s]
tests/regress/wd/c6b_i.smt2
PASS [1.048 s]
tests/regress/wd/c6b_succ_i.smt2
PASS [0.715 s]
tests/regress/wd/c6b_succ_i_unint.smt2
PASS [1.263 s]
tests/regress/wd/cliffordwolf2.smt2 [ --incremental ]
PASS [0.975 s]
tests/regress/wd/cok.ys [ --logic=QF_UF ]
PASS [0.081 s]
tests/regress/wd/example_mdl.smt2 [ --smt2-model-format ]
PASS [0.128 s]
tests/regress/wd/example_mdl2.smt2 [ --smt2-model-format --bvconst-in-decimal ]
PASS [0.137 s]
tests/regress/wd/goel.ys [ --logic=QF_UF --mode=push-pop ]
PASS [0.079 s]
tests/regress/wd/issue167.smt2
PASS [0.118 s]
tests/regress/wd/prp-1-22.smt2
PASS [0.157 s]
tests/regress/wd/prp-1-31.smt2
PASS [0.228 s]
tests/regress/wd/prp-2-18.smt2
PASS [0.245 s]
tests/regress/wd/prp-24-47.smt2
PASS [3.727 s]
tests/regress/wd/prp-5-17.smt2
PASS [0.247 s]
tests/regress/wd/simple_startup_4nodes.abstract.base.smt2
PASS [0.167 s]
tests/regress/wd/simple_startup_4nodes.abstract.induct.smt2
PASS [5.412 s]
tests/regress/wd/simple_startup_4nodes.bug.induct.smt2
PASS [0.545 s]
tests/regress/wd/simple_startup_4nodes.missing.induct.smt2
PASS [0.455 s]
tests/regress/wd/simple_startup_4nodes.synchro.base.smt2
PASS [0.152 s]
tests/regress/wd/simple_startup_4nodes.synchro.induct.smt2
PASS [0.244 s]
tests/regress/wd/uhler-segv1.ys
PASS [0.303 s]
tests/regress/wd/wintered.smt2
PASS [0.073 s]
Pass: 1398
Fail: 1
1. tests/regress/coverage/smtlib/QF_LIA/CAV_2009_benchmarks/smt/20-vars/problem_2__012.smt2
0a1
> sat
make[1]: Leaving directory '/builddir/build/BUILD/yices2-Yices-2.6.2'
make[1]: *** [Makefile.build:295: regress] Error 1
make: *** [Makefile:278: check] Error 2
error: Bad exit status from /var/tmp/rpm-tmp.wHLIIQ (%check)
RPM build errors:
    Bad exit status from /var/tmp/rpm-tmp.wHLIIQ (%check)
Child return code was: 1
EXCEPTION: [Error()]
Traceback (most recent call last):
  File "/usr/lib/python3.8/site-packages/mockbuild/trace_decorator.py", line 95, in trace
    result = func(*args, **kw)
  File "/usr/lib/python3.8/site-packages/mockbuild/util.py", line 746, 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