^
/tmp/cirrus-ci-build/build/test/Industry/Output/egcd3-ll_valuebound10.c.tmp.cov.log:11:1: note: possible intended match here
Taken at least once:92.86% of 14
^

Input file: /tmp/cirrus-ci-build/build/test/Industry/Output/egcd3-ll_valuebound10.c.tmp.cov.log
Check file: /tmp/cirrus-ci-build/test/Industry/egcd3-ll_valuebound10.c

-dump-input=help explains the following input dump.

Input was:
<<<<<<
           .
           .
           .
           5: No calls 
           6: Creating 'klee-test-comp.c.gcov' 
           7:  
           8: File '/tmp/cirrus-ci-build/test/Industry/egcd3-ll_valuebound10.c' 
           9: Lines executed:89.83% of 59 
          10: Branches executed:100.00% of 14 
next:16'0                                    X error: no match found
          11: Taken at least once:92.86% of 14 
next:16'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
next:16'1     ?                                 possible intended match
          12: No calls 
next:16'0     ~~~~~~~~~
          13: Creating 'egcd3-ll_valuebound10.c.gcov' 
next:16'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          14:  
next:16'0     ~
>>>>>>

error: command failed with exit status: 1

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 
********************
Failed Tests (2):
  KLEE :: Industry/CoverageBranches/egcd3-ll_valuebound10.c
  KLEE :: Industry/egcd3-ll_valuebound10.c


Testing Time: 87.78s
  Unsupported      : 207
  Passed           : 426
  Expectedly Failed:   2
  Failed           :   2
gmake[3]: *** [test/CMakeFiles/systemtests.dir/build.make:76: test/CMakeFiles/systemtests] Error 1
gmake[2]: *** [CMakeFiles/Makefile2:1361: test/CMakeFiles/systemtests.dir/all] Error 2
gmake[1]: *** [CMakeFiles/Makefile2:685: CMakeFiles/check.dir/rule] Error 2
gmake: *** [Makefile:208: check] Error 2

Exit status: 2