IOpenJmlConsts.java

package org.overture.vdm2jml.tests.util;

public interface IOpenJmlConsts
{
	public static final String CP_ARG = "-classpath";
	public static final String RAC_ARG = "-rac";
	public static final String RAC_TO_ASSERT_ARG = "-racCompileToJavaAssert";
	public static final String NO_PURITY_CHECKS_ARG = "-no-purityCheck";
	public static final String TC = "-check";
}