/******************************************************************************
* Copyright (c) 2009 - 2015 IBM Corporation.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*****************************************************************************/
package test.sequential;
import org.eclipse.core.runtime.NullProgressMonitor;
import org.junit.AfterClass;
import org.junit.BeforeClass;
import com.ibm.wala.ide.tests.util.EclipseTestUtil;
import com.ibm.wala.memsat.Options;
import com.ibm.wala.memsat.jdt.test.JdtTestUtil;
import com.ibm.wala.memsat.tests.MiniaturTestsPlugin;
public class JdtMiniaturTests extends MiniaturTests {
@Override
protected Options getOptions() {
Options options = super.getOptions();
options.setEclipseProjectName(JdtTestUtil.PROJECT_NAME);
return options;
}
@BeforeClass
public static void beforeClass() {
EclipseTestUtil.importZippedProject(MiniaturTestsPlugin.getDefault(), JdtTestUtil.PROJECT_NAME, JdtTestUtil.PROJECT_ZIP, new NullProgressMonitor());
}
@AfterClass
public static void afterClass() {
EclipseTestUtil.destroyProject(JdtTestUtil.PROJECT_NAME);
}
}