/*
 * This file is covered by the terms of the Common Public License v1.0.
 *
 * Copyright (c) SZEDER Gábor
 *
 * Parts of this software were developed within the JEOPARD research
 * project, which received funding from the European Union's Seventh
 * Framework Programme under grant agreement No. 216682.
 */

package de.fzi.cjunit.testutils;

import gov.nasa.jpf.Config;
import gov.nasa.jpf.JPF;
import de.fzi.cjunit.jpf.util.ArgumentCreator;

public class JPFForTesting {

	protected Config config;
	protected JPF jpf;

	protected void createJPF(Class<?> appClass) {
		String[] jpfArgs = new ArgumentCreator()
				.app(appClass)
				.defaultJPFTestArgs()
				.getArgs();
		config = JPF.createConfig(jpfArgs);
		jpf = new JPF(config);
	}
}

@@ -563,16 +563,122 @@
 lass) %7B%0A
+%09%09createJPF(new String%5B%5D %7B%7D, appClass);%0A%09%7D%0A%0A%09protected void createJPF(String%5B%5D args, Class%3C?%3E appClass) %7B%0A
 %09%09String
@@ -757,16 +757,35 @@
 tArgs()%0A
+%09%09%09%09.jpfArgs(args)%0A
 %09%09%09%09.get

add method to create JPF with custom args