From 6adf983f0010d30f1b80c917eda032b9be6eb83f Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Mon, 3 Oct 2016 17:05:36 +0200
Subject: [PATCH] Added tip-org benchmarks git submodule
---
.gitmodules | 3 +++
src/it/resources/tip-benchmarks | 1 +
src/it/scala/inox/tip/TIPTestSuite.scala | 2 +-
3 files changed, 5 insertions(+), 1 deletion(-)
create mode 100644 .gitmodules
create mode 160000 src/it/resources/tip-benchmarks
diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 000000000..a03a3d950
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "src/it/resources/tip-benchmarks"]
+ path = src/it/resources/tip-benchmarks
+ url = git@github.com:tip-org/benchmarks.git
diff --git a/src/it/resources/tip-benchmarks b/src/it/resources/tip-benchmarks
new file mode 160000
index 000000000..620180503
--- /dev/null
+++ b/src/it/resources/tip-benchmarks
@@ -0,0 +1 @@
+Subproject commit 62018050351c99844b416b3ad59c12045227f6f5
diff --git a/src/it/scala/inox/tip/TIPTestSuite.scala b/src/it/scala/inox/tip/TIPTestSuite.scala
index bed25e0b8..9851f801e 100644
--- a/src/it/scala/inox/tip/TIPTestSuite.scala
+++ b/src/it/scala/inox/tip/TIPTestSuite.scala
@@ -11,7 +11,7 @@ import utils._
class TIPTestSuite extends InoxTestSuite with ResourceUtils {
- val tipDir = "tip-benchmarks"
+ val tipDir = "tip-benchmarks/benchmarks"
def makeTests(base: String) = {
val files = resourceFiles(s"$tipDir/$base")
--
GitLab