From 75c4e62ba6f9db0b428ac0454171e0ebf169046f Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 27 Apr 2015 01:04:43 +0200
Subject: [PATCH] Test all testcases in web/
---
src/test/scala/leon/test/testcases/TestCasesCompile.scala | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/test/scala/leon/test/testcases/TestCasesCompile.scala b/src/test/scala/leon/test/testcases/TestCasesCompile.scala
index c6aad47db..42d6dbb0c 100644
--- a/src/test/scala/leon/test/testcases/TestCasesCompile.scala
+++ b/src/test/scala/leon/test/testcases/TestCasesCompile.scala
@@ -50,4 +50,7 @@ class TestCasesCompile extends LeonTestSuite {
forEachFileIn(baseDir+"verification/") { f =>
testFrontend(f, slashes)
}
+ forEachFileIn(baseDir+"web/") { f =>
+ testFrontend(f, slashes)
+ }
}
--
GitLab