Fixed bug in test and added test for opcode

lisa-analyzer · Dec 29, 2024 · bbda15e · bbda15e
1 parent 5a00323
commit bbda15e
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/test/java/it/unipr/analysis/cron/EVMTaintAbstractSemantics.java b/src/test/java/it/unipr/analysis/cron/EVMTaintAbstractSemantics.java
@@ -162,4 +162,10 @@ public void testTaint17() throws AnalysisSetupException, IOException {
 		CronConfiguration conf = createConfiguration("taint", "example17", "example17.sol", false);
 		perform(conf);
 	}
+
+	@Test
+	public void testTaint18() throws AnalysisSetupException, IOException {
+		CronConfiguration conf = createConfiguration("taint", "example18", "example18.sol", false);
+		perform(conf);
+	}
 }