Parameters.java

package org.fi;

public class Parameters{
	public final static int BREAK_EXP_NUMBER = Integer.parseInt(System.getProperty("BREAK_EXP_NUMBER", "100000"));
	public final static int MAX_FSN = Integer.parseInt(System.getProperty("MAX_FSN", "2"));
	public final static boolean enableFailure = Boolean.parseBoolean(System.getProperty("enableFailure", "true"));
	public final static boolean enableCoverage = Boolean.parseBoolean(System.getProperty("enableCoverage", "true"));
	public final static boolean debug = Boolean.parseBoolean(System.getProperty("debug", "true"));
    public final static String filter = System.getProperty("filter", "default");
    public final static String clevel = System.getProperty("consistencyLevel", "all");
}