DASCA
/
DASCA
2
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Return -1 if not entry method is found.

This commit is contained in:
Achim D. Brucker 2016-08-27 14:27:20 +01:00
parent 09ffcb9dc6
commit 2d78f40bdc
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test01.java
View File

@ -45,7 +45,7 @@ public class Test01 {
public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
AllTests.init();
int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
assertEquals(0, result);
assertEquals(-1, result);
return;
}
}

2
src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/util/SuperGraphUtil.java
View File

@ -166,7 +166,7 @@ public class SuperGraphUtil {
if(mainEntryId == 0 && mainExitId == 0) {
log.error(" "+entryClass + "." + entryMethod +
": empty entry method, ensure invocation in main method");
return 0;
return -1;
}
HashSet<Integer> relevantIDs = new HashSet<Integer>();
BasicBlockInContext<IExplodedBasicBlock> bbic = sgNodes.get(mainEntryId);