cc', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/smt.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/th_base.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/th_bv.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/th_bv_bitblast.plf'] 21: Command: ['/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/smt.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/th_base.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/th_int.plf'] 20/25 Test #20: th_bv_bitblast.plf ..................... Passed 3.34 sec test 24 Start 24: use-bool.plf 24: Test command: /builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/run_test.py "/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/use-bool.plf" 24: Test timeout computed to be: 40 21/25 Test #21: th_int.plf ............................. Passed 3.38 sec test 25 Start 25: use-use-bool.plf 25: Test command: /builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/run_test.py "/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/use-use-bool.plf" 25: Test timeout computed to be: 40 23: Command: ['/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/unused_pi_param_rational_in_body.plf'] 22/25 Test #23: unused_pi_param_rational_in_body.plf ... Passed 3.23 sec 25: Command: ['/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/bool.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/use-bool.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/use-use-bool.plf'] 23/25 Test #25: use-use-bool.plf ....................... Passed 3.03 sec 24: Command: ['/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/bool.plf', '/builddir/build/BUILD/LFSC-11fefc64f5f89cf009a119d0f3b4a7efc4e6a61a/tests/tests/use-bool.plf'] 24/25 Test #24: use-bool.plf ........................... Passed 3.31 sec 25/25 Test #13: sage-app2-bench_201.plf ................***Timeout 40.19 sec 96% tests passed, 1 tests failed out of 25 Total Test time (real) = 48.37 sec The following tests FAILED: 13 - sage-app2-bench_201.plf (Timeout) Errors while running CTest error: Bad exit status from /var/tmp/rpm-tmp.lTVYsx (%check) RPM build errors: Bad exit status from /var/tmp/rpm-tmp.lTVYsx (%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/lfsc.spec