From 1bb96160b2877bb9e122dbca157fe6fc058ab713 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Tue, 26 Aug 2014 21:55:03 +0200
Subject: [PATCH] Remove no-warnings requirement from eval. test
---
src/test/scala/leon/test/evaluators/EvaluatorsTests.scala | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala b/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala
index 678373a89..2673b0ab4 100644
--- a/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala
+++ b/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala
@@ -32,7 +32,6 @@ class EvaluatorsTests extends leon.test.LeonTestSuite {
val program = pipeline.run(leonContext)((str, Nil))
assert(leonContext.reporter.errorCount === errorsBefore)
- assert(leonContext.reporter.warningCount === warningsBefore)
program
}
--
GitLab