wvisser · Cezkarma · Jul 24, 2018 · Jul 24, 2018 · Jul 24, 2018 · Jul 24, 2018
diff --git a/.travis.yml b/.travis.yml
@@ -1,5 +1,12 @@
+sudo: required
+
 language: java
 
+services:
+  - docker
+
+before_install:
+  - docker build -t joshua/green .
+
 script:
- - ant;
- - ant test;
+  - docker run joshua/green /bin/sh -c "ant; ant test"
diff --git a/Dockerfile b/Dockerfile
@@ -15,7 +15,7 @@ RUN apt install patchelf -y
 RUN apt install libgomp1
 
 # Clone down the GreenSolver repository
-RUN git clone https://github.com/wvisser/green
+RUN git clone https://github.com/Cezkarma/green
 
 # Download and extract Z3
 RUN mkdir z3

diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.org/wvisser/green.svg?branch=master)](https://travis-ci.org/wvisser/green.svg?branch=master)
+[![Build Status](https://travis-ci.org/Cezkarma/green.svg?branch=master)](https://travis-ci.org/Cezkarma/green.svg?branch=master)
 
 Notes:
 

diff --git a/bin/build.properties b/bin/build.properties
@@ -0,0 +1,17 @@
+# Build properties for green.
+#
+# It is OK to to change these properties if they do not agree with your
+# setup, but do not commit it to the repository.
+
+#target = 1.7
+#source = 1.7
+#bootpath = /Library/Java/JavaVirtualMachines/jdk1.7.0_75.jdk/Contents/Home/jre/lib/rt.jar
+
+target = 1.8
+source = 1.8
+bootpath = /Library/Java/JavaVirtualMachines/jdk1.8.0_45.jdk/Contents/Home/jre/lib/rt.jar
+
+cvc3lib = /Users/jaco/Documents/RESEARCH/SYMEXE/cvc3-2.4.1/java/lib
+lattepath = /Users/jaco/Documents/RESEARCH/latte-integrale-1.7.3/latte-int-1.7.3/code/latte/count
+z3path = /Users/jaco/Documents/RESEARCH/SYMEXE/Z3/build/z3
+z3lib = ${basedir}/lib
diff --git a/bin/junit/TEST-za.ac.sun.cs.green.EntireSuite.xml b/bin/junit/TEST-za.ac.sun.cs.green.EntireSuite.xml
diff --git a/bin/junit/TESTS-TestSuites.xml b/bin/junit/TESTS-TestSuites.xml
diff --git a/bin/junit/all-tests.html b/bin/junit/all-tests.html
@@ -0,0 +1,87 @@
+<html xmlns:string="xalan://java.lang.String" xmlns:lxslt="http://xml.apache.org/xslt">
+<head>
+<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<title>Unit Test Results: All Tests</title>
+<link rel="stylesheet" type="text/css" title="Style" href="stylesheet.css">
+</head>
+<body onload="open('allclasses-frame.html','classListFrame')">
+<h1>Unit Test Results.</h1>
+<table width="100%">
+<tr>
+<td align="left"></td><td align="right">Designed for use with <a href="http://www.junit.org/">JUnit</a> and <a href="http://ant.apache.org/">Ant</a>.</td>
+</tr>
+</table>
+<hr size="1">
+<h2>All Tests</h2>
+<table class="details" border="0" cellpadding="5" cellspacing="2" width="95%">
+<tr valign="top">
+<th>Class</th><th>Name</th><th>Status</th><th width="80%">Type</th><th nowrap>Time(s)</th>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test12"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test12">test12</a></td><td>Success</td><td></td><td>0.012</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test13"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test13">test13</a></td><td>Success</td><td></td><td>0.001</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test14"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test14">test14</a></td><td>Success</td><td></td><td>0.001</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test15"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test15">test15</a></td><td>Success</td><td></td><td>0.001</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test16"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test16">test16</a></td><td>Success</td><td></td><td>0.003</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test17"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test17">test17</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test18"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test18">test18</a></td><td>Success</td><td></td><td>0.005</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test19"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test19">test19</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test20"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test20">test20</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test01"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test01">test01</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test02"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test02">test02</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test03"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test03">test03</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test04"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test04">test04</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test05"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test05">test05</a></td><td>Success</td><td></td><td>0.003</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test06"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test06">test06</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test07"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test07">test07</a></td><td>Success</td><td></td><td>0.003</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test08"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test08">test08</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test09"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test09">test09</a></td><td>Success</td><td></td><td>0.002</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test10"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test10">test10</a></td><td>Success</td><td></td><td>0.001</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="test11"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#test11">test11</a></td><td>Success</td><td></td><td>0.001</td>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="za.ac.sun.cs.green.service.z3.SATZ3Test"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#za.ac.sun.cs.green.service.z3.SATZ3Test">za.ac.sun.cs.green.service.z3.SATZ3Test</a></td><td>Skipped</td><td>N/A<br>
+<br>
+<code></code></td><td>0.000</td>
+</tr>
+</table>
+</body>
+</html>
diff --git a/bin/junit/allclasses-frame.html b/bin/junit/allclasses-frame.html
@@ -0,0 +1,15 @@
+<html xmlns:string="xalan://java.lang.String" xmlns:lxslt="http://xml.apache.org/xslt">
+<head>
+<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<title>All Unit Test Classes</title>
+<link rel="stylesheet" type="text/css" title="Style" href="stylesheet.css">
+</head>
+<body>
+<h2>Classes</h2>
+<table width="100%">
+<tr>
+<td nowrap><a target="classFrame" href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td>
+</tr>
+</table>
+</body>
+</html>
diff --git a/bin/junit/alltests-errors.html b/bin/junit/alltests-errors.html
@@ -0,0 +1,22 @@
+<html xmlns:string="xalan://java.lang.String" xmlns:lxslt="http://xml.apache.org/xslt">
+<head>
+<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<title>Unit Test Results: All Errors</title>
+<link rel="stylesheet" type="text/css" title="Style" href="stylesheet.css">
+</head>
+<body onload="open('allclasses-frame.html','classListFrame')">
+<h1>Unit Test Results.</h1>
+<table width="100%">
+<tr>
+<td align="left"></td><td align="right">Designed for use with <a href="http://www.junit.org/">JUnit</a> and <a href="http://ant.apache.org/">Ant</a>.</td>
+</tr>
+</table>
+<hr size="1">
+<h2>All Errors</h2>
+<table class="details" border="0" cellpadding="5" cellspacing="2" width="95%">
+<tr valign="top">
+<th>Class</th><th>Name</th><th>Status</th><th width="80%">Type</th><th nowrap>Time(s)</th>
+</tr>
+</table>
+</body>
+</html>
diff --git a/bin/junit/alltests-fails.html b/bin/junit/alltests-fails.html
@@ -0,0 +1,22 @@
+<html xmlns:string="xalan://java.lang.String" xmlns:lxslt="http://xml.apache.org/xslt">
+<head>
+<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<title>Unit Test Results: All Failures</title>
+<link rel="stylesheet" type="text/css" title="Style" href="stylesheet.css">
+</head>
+<body onload="open('allclasses-frame.html','classListFrame')">
+<h1>Unit Test Results.</h1>
+<table width="100%">
+<tr>
+<td align="left"></td><td align="right">Designed for use with <a href="http://www.junit.org/">JUnit</a> and <a href="http://ant.apache.org/">Ant</a>.</td>
+</tr>
+</table>
+<hr size="1">
+<h2>All Failures</h2>
+<table class="details" border="0" cellpadding="5" cellspacing="2" width="95%">
+<tr valign="top">
+<th>Class</th><th>Name</th><th>Status</th><th width="80%">Type</th><th nowrap>Time(s)</th>
+</tr>
+</table>
+</body>
+</html>
diff --git a/bin/junit/alltests-skipped.html b/bin/junit/alltests-skipped.html
@@ -0,0 +1,27 @@
+<html xmlns:string="xalan://java.lang.String" xmlns:lxslt="http://xml.apache.org/xslt">
+<head>
+<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<title>Unit Test Results: All Skipped</title>
+<link rel="stylesheet" type="text/css" title="Style" href="stylesheet.css">
+</head>
+<body onload="open('allclasses-frame.html','classListFrame')">
+<h1>Unit Test Results.</h1>
+<table width="100%">
+<tr>
+<td align="left"></td><td align="right">Designed for use with <a href="http://www.junit.org/">JUnit</a> and <a href="http://ant.apache.org/">Ant</a>.</td>
+</tr>
+</table>
+<hr size="1">
+<h2>All Skipped</h2>
+<table class="details" border="0" cellpadding="5" cellspacing="2" width="95%">
+<tr valign="top">
+<th>Class</th><th>Name</th><th>Status</th><th width="80%">Type</th><th nowrap>Time(s)</th>
+</tr>
+<tr valign="top" class="TableRowColor">
+<td><a href="za/ac/sun/cs/green/0_EntireSuite.html">EntireSuite</a></td><td><a name="za.ac.sun.cs.green.service.z3.SATZ3Test"></a><a href="za/ac/sun/cs/green/0_EntireSuite.html#za.ac.sun.cs.green.service.z3.SATZ3Test">za.ac.sun.cs.green.service.z3.SATZ3Test</a></td><td>Skipped</td><td>N/A<br>
+<br>
+<code></code></td><td>0.000</td>
+</tr>
+</table>
+</body>
+</html>
diff --git a/bin/junit/index.html b/bin/junit/index.html
@@ -0,0 +1,19 @@
+<html xmlns:string="xalan://java.lang.String" xmlns:lxslt="http://xml.apache.org/xslt">
+<head>
+<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<title>Unit Test Results.</title>
+</head>
+<frameset cols="20%,80%">
+<frameset rows="30%,70%">
+<frame src="overview-frame.html" name="packageListFrame">
+<frame src="allclasses-frame.html" name="classListFrame">
+</frameset>
+<frame src="overview-summary.html" name="classFrame">
+<noframes>
+<h2>Frame Alert</h2>
+<p>
+                This document is designed to be viewed using the frames feature. If you see this message, you are using a non-frame-capable web client.
+            </p>
+</noframes>
+</frameset>
+</html>
diff --git a/bin/junit/overview-frame.html b/bin/junit/overview-frame.html
@@ -0,0 +1,18 @@
+<html xmlns:string="xalan://java.lang.String" xmlns:lxslt="http://xml.apache.org/xslt">
+<head>
+<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<title>All Unit Test Packages</title>
+<link rel="stylesheet" type="text/css" title="Style" href="stylesheet.css">
+</head>
+<body>
+<h2>
+<a href="overview-summary.html" target="classFrame">Home</a>
+</h2>
+<h2>Packages</h2>
+<table width="100%">
+<tr>
+<td nowrap><a href="./za/ac/sun/cs/green/package-summary.html" target="classFrame">za.ac.sun.cs.green</a></td>
+</tr>
+</table>
+</body>
+</html>
diff --git a/bin/junit/overview-summary.html b/bin/junit/overview-summary.html
@@ -0,0 +1,41 @@
+<html xmlns:string="xalan://java.lang.String" xmlns:lxslt="http://xml.apache.org/xslt">
+<head>
+<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<title>Unit Test Results: Summary</title>
+<link rel="stylesheet" type="text/css" title="Style" href="stylesheet.css">
+</head>
+<body onload="open('allclasses-frame.html','classListFrame')">
+<h1>Unit Test Results.</h1>
+<table width="100%">
+<tr>
+<td align="left"></td><td align="right">Designed for use with <a href="http://www.junit.org/">JUnit</a> and <a href="http://ant.apache.org/">Ant</a>.</td>
+</tr>
+</table>
+<hr size="1">
+<h2>Summary</h2>
+<table class="details" border="0" cellpadding="5" cellspacing="2" width="95%">
+<tr valign="top">
+<th>Tests</th><th>Failures</th><th>Errors</th><th>Skipped</th><th>Success rate</th><th>Time</th>
+</tr>
+<tr valign="top" class="Pass">
+<td><a title="Display all tests" href="all-tests.html">21</a></td><td><a title="Display all failures" href="alltests-fails.html">0</a></td><td><a title="Display all errors" href="alltests-errors.html">0</a></td><td><a title="Display all skipped test" href="alltests-skipped.html">1</a></td><td>100.00%</td><td>0.223</td>
+</tr>
+</table>
+<table border="0" width="95%">
+<tr>
+<td style="text-align: justify;">
+        Note: <em>failures</em> are anticipated and checked for with assertions while <em>errors</em> are unanticipated.
+        </td>
+</tr>
+</table>
+<h2>Packages</h2>
+<table class="details" border="0" cellpadding="5" cellspacing="2" width="95%">
+<tr valign="top">
+<th width="80%">Name</th><th>Tests</th><th>Errors</th><th>Failures</th><th>Skipped</th><th nowrap>Time(s)</th><th nowrap>Time Stamp</th><th>Host</th>
+</tr>
+<tr valign="top" class="Pass">
+<td><a href="./za/ac/sun/cs/green/package-summary.html">za.ac.sun.cs.green</a></td><td>21</td><td>0</td><td>0</td><td>1</td><td>0.223</td><td>2018-07-24T10:00:18</td><td>localhost</td>
+</tr>
+</table>
+</body>
+</html>
diff --git a/bin/junit/stylesheet.css b/bin/junit/stylesheet.css
@@ -0,0 +1,48 @@
+
+body {
+    font:normal 68% verdana,arial,helvetica;
+    color:#000000;
+}
+table tr td, table tr th {
+    font-size: 68%;
+}
+table.details tr th{
+    font-weight: bold;
+    text-align:left;
+    background:#a6caf0;
+}
+table.details tr td{
+    background:#eeeee0;
+}
+
+p {
+    line-height:1.5em;
+    margin-top:0.5em; margin-bottom:1.0em;
+}
+h1 {
+    margin: 0px 0px 5px; font: 165% verdana,arial,helvetica
+}
+h2 {
+    margin-top: 1em; margin-bottom: 0.5em; font: bold 125% verdana,arial,helvetica
+}
+h3 {
+    margin-bottom: 0.5em; font: bold 115% verdana,arial,helvetica
+}
+h4 {
+    margin-bottom: 0.5em; font: bold 100% verdana,arial,helvetica
+}
+h5 {
+    margin-bottom: 0.5em; font: bold 100% verdana,arial,helvetica
+}
+h6 {
+    margin-bottom: 0.5em; font: bold 100% verdana,arial,helvetica
+}
+.Error {
+    font-weight:bold; color:red;
+}
+.Failure {
+    font-weight:bold; color:purple;
+}
+.Properties {
+  text-align:right;
+}