ensure MLP system always uses precise garbage collection

diff --git a/Robust/src/Tests/mlp/tinyTest/debugging.txt b/Robust/src/Tests/mlp/tinyTest/debugging.txt
new file mode 100644 (file)
index 0000000..c733005
--- /dev/null
+++ b/Robust/src/Tests/mlp/tinyTest/debugging.txt
@@ -0,0 +1,3 @@
+break garbage.c:721
+break garbage.c:731
+run

diff --git a/Robust/src/Tests/mlp/tinyTest/test.java b/Robust/src/Tests/mlp/tinyTest/test.java
index a060d8579504ed4f409a440be91f2b26591d6752..027923b3915bdb5a2c0c5238d628b192439eaebb 100644 (file)
--- a/Robust/src/Tests/mlp/tinyTest/test.java
+++ b/Robust/src/Tests/mlp/tinyTest/test.java
@@ -7,9 +7,9 @@ public class Test {
 
     sese fi {
       //if( true ) {
-        x = y + 2;
-        y = 3; 
-       //}      
+      x = y + 2;
+      y = 3;   
+      //}      
     }
 
 
@@ -44,7 +44,8 @@ public class Test {
     System.out.println( "x="+x+", y="+y );
     //}
 
-
+    float xyz = 2.0f;
+    float jjj = Math.abs( xyz );
 
 
 

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 16b00ef566871d57c839581d14c4eb4cf846bee3..06459124882144417fa4915a3c71493d4a791b9b 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -305,12 +305,12 @@ JAVAOPTS="$JAVAOPTS -minimize"
 elif [[ $1 = '-mlp' ]]
 then
 MLPFLAG=true
-EXTRAOPTIONS="$EXTRAOPTIONS -lpthread"
+EXTRAOPTIONS="$EXTRAOPTIONS -precise -lpthread"
 elif [[ $1 = '-mlpdebug' ]]
 then
 JAVAOPTS="$JAVAOPTS -mlpdebug"
 MLPFLAG=true
-EXTRAOPTIONS="$EXTRAOPTIONS -lpthread"
+EXTRAOPTIONS="$EXTRAOPTIONS -precise -lpthread"
 elif [[ $1 = '-check' ]]
 then
 CHECKFLAG=true