JPF Database Modeling Code

Here be the code for the JPF database mocker.

Usage

To setup the database and compile run:

$ ./setup

To run the Java version (using JBDC):

$ ./exec-java

To model check with JPF run:

$ jpf project.jpf

subsequent runs, compile the code

$ ./compile