Command Output (stdout):
--
$ ":" "RUN: at line 1"
$ "/usr/local/llvm11/bin/clang" "-I/tmp/cirrus-ci-build/include" "/tmp/cirrus-ci-build/test/regression/2017-03-23-early-exit-log-stats.c" "-emit-llvm" "-g" "-O0" "-Xclang" "-disable-O0-optnone" "-c" "-o" "/tmp/cirrus-ci-build/build/test/regression/Output/2017-03-23-early-exit-log-stats.c.tmp.bc"
$ ":" "RUN: at line 2"
$ "rm" "-rf" "/tmp/cirrus-ci-build/build/test/regression/Output/2017-03-23-early-exit-log-stats.c.tmp.klee-out"
$ ":" "RUN: at line 4"
$ "not" "/tmp/cirrus-ci-build/build/bin/klee" "--output-dir=/tmp/cirrus-ci-build/build/test/regression/Output/2017-03-23-early-exit-log-stats.c.tmp.klee-out" "-exit-on-error" "-stats-write-interval=0" "-stats-write-after-instructions=999999" "-stats-commit-after=1" "/tmp/cirrus-ci-build/build/test/regression/Output/2017-03-23-early-exit-log-stats.c.tmp.bc"
$ ":" "RUN: at line 5"
$ "/tmp/cirrus-ci-build/build/bin/klee-stats" "--to-csv" "/tmp/cirrus-ci-build/build/test/regression/Output/2017-03-23-early-exit-log-stats.c.tmp.klee-out"
# command stderr:
Traceback (most recent call last):
  File "/tmp/cirrus-ci-build/build/bin/klee-stats", line 18, in <module>
    import sqlite3
  File "/usr/local/lib/python3.11/sqlite3/__init__.py", line 57, in <module>
    from sqlite3.dbapi2 import *
  File "/usr/local/lib/python3.11/sqlite3/dbapi2.py", line 27, in <module>
    from _sqlite3 import *
ModuleNotFoundError: No module named '_sqlite3'

error: command failed with exit status: 1

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 
********************
Failed Tests (14):
  KLEE :: Feature/ExprLogging.c
  KLEE :: Feature/KleeStats.c
  KLEE :: Feature/KleeStatsBranches.c
  KLEE :: Feature/KleeStatsNoBr.c
  KLEE :: Feature/KleeStatsTermClasses.c
  KLEE :: Feature/RecursionPruning/fibonacci.c
  KLEE :: Feature/RecursionPruning/regexp.c
  KLEE :: Feature/RecursionPruning/sum.c
  KLEE :: Feature/TaintTest.cpp
  KLEE :: Industry/NullReturn_Scene_BadCase02.c
  KLEE :: Industry/if2.c
  KLEE :: Industry/ll_create_rec-alloca-2.c
  KLEE :: Solver/CexCacheValidityCoresCheck.c
  KLEE :: regression/2017-03-23-early-exit-log-stats.c


Testing Time: 74.33s
  Unsupported      : 213
  Passed           : 405
  Expectedly Failed:   2
  Failed           :  14
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