Removed useless configs from tests

Author: merendamattia

src/test/java/it/unipr/analysis/cron/EVMBytecodeGroundTruth.java

@@ -24,10 +24,9 @@ public void testGroundTruth() throws Exception {
 		Path SMARTCONTRACTS_FULLPATH = Paths.get("benchmark", "50-ground-truth.txt");
 
 		boolean changed = false;
-		EVMLiSA.setStackLimit(32);
-		EVMLiSA.setStackSetSize(8);
 		EVMLiSA.setWorkingDirectory(WORKING_DIRECTORY_PATH);
-		EVMLiSA.setCores(6);
+		EVMLiSA.setCores(
+				Runtime.getRuntime().availableProcessors() / 4 * 3);
 		EVMLiSA.setTestMode();
 		EVMLiSA.analyzeSetOfContracts(SMARTCONTRACTS_FULLPATH);