to start with the draft code

FudanSELab · Sep 5, 2023 · 773e548 · 773e548
1 parent 79f34cd
commit 773e548
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 4 deletions.
diff --git a/shell/src/test/java/feature/regression/RegressionTest.java b/shell/src/test/java/feature/regression/RegressionTest.java
@@ -69,7 +69,7 @@ public void testBasicRulesObj() {
 		Properties.TIMEOUT = 10;
 		Properties.INDIVIDUAL_LEGITIMIZATION_BUDGET = 10;
 		Properties.STRATEGY = Strategy.REGRESSION;
-		Properties.REGRESSION_FITNESS = RegressionMeasure.ALL_MEASURES;
+		Properties.REGRESSION_FITNESS = RegressionMeasure.COVERAGE;
 		Properties.ASSERTIONS = true;
 //		Properties.TIMELINE_INTERVAL = 3000;
 

diff --git a/shell/src/test/java/feature/regression/example1/RegressionExample.java b/shell/src/test/java/feature/regression/example1/RegressionExample.java
@@ -1,12 +1,19 @@
 package feature.regression.example1;
 
+import java.util.ArrayList;
+
 public class RegressionExample {
-	public int example123(int a) {
+	public int example123(int a) throws Exception {
 		int b = a + 1;
-		if(b < 1) {
+		if(b >= -100000000) {
 			b++;
+
 		}
 
+		ArrayList list = new ArrayList();
+		Object o = list.get(0);
+		o.toString();
+
 		return b;
 	}
 

diff --git a/shell/src/test/java/feature/regression/example2/RegressionExample.java b/shell/src/test/java/feature/regression/example2/RegressionExample.java
@@ -3,7 +3,7 @@
 public class RegressionExample {
 	public int example123(int a) {
 		int b = a + 1;
-		if(b > 1) {
+		if(b > -100000000) {
 			b++;
 		}