From 0975af43d93860b0f998348750fe6a05cd8bb7a9 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Thu, 6 Oct 2016 19:41:24 +0200
Subject: [PATCH] Removed TIP benchmark
---
src/it/resources/tip-benchmarks | 1 -
src/it/scala/inox/tip/TIPTestSuite.scala | 36 ------------------------
2 files changed, 37 deletions(-)
delete mode 160000 src/it/resources/tip-benchmarks
delete mode 100644 src/it/scala/inox/tip/TIPTestSuite.scala
diff --git a/src/it/resources/tip-benchmarks b/src/it/resources/tip-benchmarks
deleted file mode 160000
index 620180503..000000000
--- a/src/it/resources/tip-benchmarks
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 62018050351c99844b416b3ad59c12045227f6f5
diff --git a/src/it/scala/inox/tip/TIPTestSuite.scala b/src/it/scala/inox/tip/TIPTestSuite.scala
deleted file mode 100644
index 6bf19ca73..000000000
--- a/src/it/scala/inox/tip/TIPTestSuite.scala
+++ /dev/null
@@ -1,36 +0,0 @@
-/* Copyright 2009-2016 EPFL, Lausanne */
-
-package inox
-package tip
-
-import org.scalatest._
-
-import solvers._
-import utils._
-
-class TIPTestSuite extends FunSuite with ResourceUtils {
-
- val tipDir = "tip-benchmarks/benchmarks"
-
- def makeTests(base: String) = {
- val files = resourceFiles(s"$tipDir/$base")
-
- if (files.isEmpty) {
- ignore(s"tip-benchmarks: $base directory not found (missing git submodule?") {}
- } else {
- val baseFile = new java.io.File(getClass.getResource(s"/$tipDir").getPath)
- for (file <- files) {
- val path = baseFile.toURI.relativize(file.toURI).getPath
-
- test(s"Parsing tip-benchmarks/$path") {
- parsers.TIPParser.parse(file)
- }
- }
- }
- }
-
- makeTests("grammars")
- makeTests("isaplanner")
- makeTests("prod")
- makeTests("tip2015")
-}
--
GitLab