1 /* 2 * MinizincBasedTestAbove1Hours.java 3 * This file is part of JaCoP. 4 * <p> 5 * JaCoP is a Java Constraint Programming solver. 6 * <p> 7 * Copyright (C) 2000-2008 Krzysztof Kuchcinski and Radoslaw Szymanek 8 * <p> 9 * This program is free software: you can redistribute it and/or modify 10 * it under the terms of the GNU Affero General Public License as published by 11 * the Free Software Foundation, either version 3 of the License, or 12 * (at your option) any later version. 13 * <p> 14 * This program is distributed in the hope that it will be useful, 15 * but WITHOUT ANY WARRANTY; without even the implied warranty of 16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 17 * GNU Affero General Public License for more details. 18 * <p> 19 * Notwithstanding any other provision of this License, the copyright 20 * owners of this work supplement the terms of this License with terms 21 * prohibiting misrepresentation of the origin of this work and requiring 22 * that modified versions of this work be marked in reasonable ways as 23 * different from the original version. This supplement of the license 24 * terms is in accordance with Section 7 of GNU Affero General Public 25 * License version 3. 26 * <p> 27 * You should have received a copy of the GNU Affero General Public License 28 * along with this program. If not, see <http://www.gnu.org/licenses/>. 29 */ 30 31 package org.jacop; 32 33 import org.junit.Test; 34 import org.junit.runner.RunWith; 35 import org.junit.runners.Parameterized; 36 37 import java.io.IOException; 38 import java.util.Collection; 39 40 /** 41 * Test class for running problems above 1hour. It is not really used except to 42 * see if some problems are now being executed faster. 43 * 44 * @author Mariusz Świerkot and Radoslaw Szymanek 45 * @version 4.8 46 */ 47 @RunWith(Parameterized.class) public class MinizincBasedTestAbove1Hours extends MinizincBasedTestsHelper { 48 protected static final String timeCategory = "above1hour/"; 49 MinizincBasedTestAbove1Hours(String testFilename)50 public MinizincBasedTestAbove1Hours(String testFilename) { 51 super(timeCategory); 52 this.testFilename = testFilename; 53 54 } 55 parametricTest()56 @Parameterized.Parameters public static Collection<String> parametricTest() throws IOException { 57 58 return fileReader(timeCategory); 59 } 60 testMinizinc()61 @Test() public void testMinizinc() throws IOException { 62 63 testExecution(timeCategory); 64 } 65 66 67 68 } 69