/usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.6VSS7J
+ umask 022
+ cd /builddir/build/BUILD
+ cd LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2
+ cd riscv64-redhat-linux-gnu
+ /usr/bin/ctest --output-on-failure --force-new-ctest-process -j4
Test project /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu
      Start  1: ann_lambda.plf
      Start  2: bad-char.plf
      Start  3: bool.plf
      Start  4: eq_mpz.plf
 1/25 Test  #4: eq_mpz.plf .............................   Passed    1.63 sec
      Start  5: issue20.plf
 2/25 Test  #1: ann_lambda.plf .........................   Passed    1.82 sec
      Start  6: issue8-mpexp.plf
 3/25 Test  #2: bad-char.plf ...........................   Passed    1.84 sec
      Start  7: formal_type_args.plf
 4/25 Test  #3: bool.plf ...............................   Passed    2.18 sec
      Start  8: mp_prefix.plf
 5/25 Test  #5: issue20.plf ............................   Passed    1.72 sec
      Start  9: mp_smaller_test.plf
 6/25 Test  #6: issue8-mpexp.plf .......................   Passed    1.71 sec
      Start 10: mpz_to_mpq.plf
 7/25 Test  #7: formal_type_args.plf ...................   Passed    1.98 sec
      Start 11: mpz_to_mpq_checks.plf
 8/25 Test  #8: mp_prefix.plf ..........................   Passed    1.88 sec
      Start 12: num.plf
 9/25 Test #10: mpz_to_mpq.plf .........................   Passed    1.78 sec
      Start 13: sage-app2-bench_201.plf
10/25 Test  #9: mp_smaller_test.plf ....................   Passed    2.08 sec
      Start 14: sat.plf
11/25 Test #11: mpz_to_mpq_checks.plf ..................   Passed    1.79 sec
      Start 15: semicolon_after_id.plf
12/25 Test #12: num.plf ................................   Passed    2.27 sec
      Start 16: smt.plf
13/25 Test #14: sat.plf ................................   Passed    2.04 sec
      Start 17: th_arrays.plf
14/25 Test #15: semicolon_after_id.plf .................   Passed    2.04 sec
      Start 18: th_base.plf
15/25 Test #16: smt.plf ................................   Passed    2.01 sec
      Start 19: th_bv.plf
16/25 Test #17: th_arrays.plf ..........................   Passed    1.87 sec
      Start 20: th_bv_bitblast.plf
17/25 Test #18: th_base.plf ............................   Passed    1.89 sec
      Start 21: th_int.plf
18/25 Test #19: th_bv.plf ..............................   Passed    1.73 sec
      Start 22: th_quant.plf
19/25 Test #21: th_int.plf .............................   Passed    1.86 sec
      Start 23: unused_pi_param_rational_in_body.plf
20/25 Test #20: th_bv_bitblast.plf .....................   Passed    2.37 sec
      Start 24: use-bool.plf
21/25 Test #22: th_quant.plf ...........................   Passed    1.89 sec
      Start 25: use-use-bool.plf
22/25 Test #24: use-bool.plf ...........................   Passed    1.95 sec
23/25 Test #23: unused_pi_param_rational_in_body.plf ...   Passed    2.63 sec
24/25 Test #25: use-use-bool.plf .......................   Passed    2.57 sec
25/25 Test #13: sage-app2-bench_201.plf ................***Timeout  40.31 sec
96% tests passed, 1 tests failed out of 25
Total Test time (real) =  45.85 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.6VSS7J (%check)
RPM build errors:
    Bad exit status from /var/tmp/rpm-tmp.6VSS7J (%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