Re-enabled ""apply prover9 to the tape proof clause set" test

Was disabled at git-sha: 0e40a14 aka svn-revision: @2070 Was fixed at git-sha: e68daf0 aka svn-revision: @2214
newca12 · Apr 10, 2015 · a634b32 · a634b32
1 parent 7c35401
commit a634b32
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/test/scala/at/logic/gapt/integration_tests/TapeTest.scala b/src/test/scala/at/logic/gapt/integration_tests/TapeTest.scala
@@ -107,7 +107,6 @@ class TapeTest extends SpecificationWithJUnit {
 
     "apply prover9 to the tape proof clause set" in {
       checkForProverOrSkip
-      skipped( "Infinite loop??" )
 
       val proofdb = ( new XMLReader( new InputStreamReader( new GZIPInputStream( getClass.getClassLoader.getResourceAsStream( "tape-in.xml.gz" ) ) ) ) with XMLProofDatabaseParser ).getProofDatabase()
       proofdb.proofs.size must beEqualTo( 1 )