ignore the large performance test

logic-ng · Jun 12, 2016 · d89d843 · d89d843
1 parent 4efbc9d
commit d89d843
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/test/java/org/logicng/cardinalityconstraints/CCPerformanceTest.java b/src/test/java/org/logicng/cardinalityconstraints/CCPerformanceTest.java
@@ -29,6 +29,7 @@
 package org.logicng.cardinalityconstraints;
 
 import org.junit.Assert;
+import org.junit.Ignore;
 import org.junit.Test;
 import org.logicng.collections.ImmutableFormulaList;
 import org.logicng.datastructures.Assignment;
@@ -56,6 +57,7 @@ public CCPerformanceTest() {
     amkEncoders[2] = new CCEncoder(new FormulaFactory(), new CCConfig.Builder().amkEncoding(CCConfig.AMK_ENCODER.CARDINALITY_NETWORK).build());
   }
 
+  @Ignore
   @Test
   public void testAMKPerformance() {
     for (final CCEncoder encoder : this.amkEncoders) {