From 085911d8247e3094629ac3497da5035fb1a6d373 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Tue, 1 May 2012 09:45:58 +0200
Subject: [PATCH] if error in the reporter, exit with with error code instead
of throwing exception
---
src/main/scala/leon/plugin/AnalysisComponent.scala | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/plugin/AnalysisComponent.scala b/src/main/scala/leon/plugin/AnalysisComponent.scala
index 7756946ad..08b94f830 100644
--- a/src/main/scala/leon/plugin/AnalysisComponent.scala
+++ b/src/main/scala/leon/plugin/AnalysisComponent.scala
@@ -21,7 +21,10 @@ class AnalysisComponent(val global: Global, val pluginInstance: LeonPlugin)
protected def stopIfErrors: Unit = {
if(reporter.hasErrors) {
- throw new Exception("There were errors.")
+ if(Settings.simpleOutput)
+ println("error")
+ sys.exit(1)
+ //throw new Exception("There were errors.")
}
}
--
GitLab