From b3a835cac4439342f63e3bdbc54dc29a26438bdc Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 19 Oct 2015 11:42:45 +0200
Subject: [PATCH] Fix this comment
---
.../leon/regression/verification/XLangVerificationSuite.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
index 3a9783e70..8511ebfea 100644
--- a/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
@@ -4,6 +4,8 @@ package leon.regression.verification
import smtlib.interpreters.Z3Interpreter
+// If you add another regression test, make sure it contains exactly one object, whose name matches the file name.
+// This is because we compile all tests from each folder together.
class XLangVerificationSuite extends VerificationSuite {
val optionVariants: List[List[String]] = {
--
GitLab