$ opam install z3

$ ./build

Usage: main.native <options> <file>

<options description>
--help                help
--run <file>          print result of symbolic execution
--criteria <file>     compare with 'target' file
--target <file>       compare with 'criteria' file
--counter             make counter example that make different output

$ ./main.native --run testcase/quadruple.m

$ ./build clean