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 #21: th_int.plf .............................   Passed    3.00 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
22: 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_quant.plf']
21/25 Test #22: th_quant.plf ...........................   Passed    3.22 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    2.43 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']
23/25 Test #24: use-bool.plf ...........................   Passed    2.27 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']
24/25 Test #25: use-use-bool.plf .......................   Passed    2.04 sec
25/25 Test #13: sage-app2-bench_201.plf ................***Timeout  40.27 sec
96% tests passed, 1 tests failed out of 25
Total Test time (real) =  46.58 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.3j80A8 (%check)
RPM build errors:
    Bad exit status from /var/tmp/rpm-tmp.3j80A8 (%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