set to PERGROUP

Author: wadoon

key.core.infflow/src/test/java/de/uka/ilkd/key/informationflow/InfFlowProofCollection.java

@@ -37,7 +37,7 @@ public static ProofCollection automaticInfFlow() throws IOException {
          * perg = c.group("- one subprocess is created for each group
          * perFile-one subprocess is created for each file
          */
-        settings.setForkMode(ForkMode.NOFORK);
+        settings.setForkMode(ForkMode.PERGROUP);
 
         /*
          * Enable or disable proof reloading.