It merges the string work we had in string-support-devbranch with the sv-comp branch. This means that this branch supports gradle-build for Java 8, with the latest string support.
This pull request also includes changes to the sv-comp script: jpf-sv-comp. As per the latest rules for sv-comp, we should not be creating any files to our tool during runtime, this requires maintaining a static site.properties within SPF, also included.
We still need to merge the witness generation work, once Kyle's repo is up again, or we find another way to incorporate his changes.
This pull request makes the following changes:
string-support-dev
branch with thesv-comp
branch. This means that this branch supports gradle-build for Java 8, with the latest string support.jpf-sv-comp
. As per the latest rules for sv-comp, we should not be creating any files to our tool during runtime, this requires maintaining a staticsite.properties
within SPF, also included.We still need to merge the witness generation work, once Kyle's repo is up again, or we find another way to incorporate his changes.