ISSTA2021_Artifact_Evaluation

There are four folders:

RQ1/

raw materials about the comparison between $Z3$ and $Z_{PRE}$.
RQ2/

raw materials about the comparison between CVC4 and BOOLECTOR and $Z_{PRE}$.
CBMC/

source code for our frone-end CBMC.
Z3-PRE/

source code for our back-end Z3.

About

Languages

Language:SWIG 85.5%Language:C++ 7.7%Language:C 5.0%Language:SMT 0.7%Language:Scilab 0.2%Language:Objective-J 0.2%Language:Java 0.2%Language:Yacc 0.1%Language:Makefile 0.1%Language:Lex 0.1%Language:Python 0.1%Language:TeX 0.0%Language:Shell 0.0%Language:CMake 0.0%Language:Perl 0.0%Language:Objective-C 0.0%Language:Jasmin 0.0%Language:Roff 0.0%Language:Assembly 0.0%Language:Batchfile 0.0%Language:Emacs Lisp 0.0%Language:Gnuplot 0.0%