From d89fd1b39abede74c23598bf930fd0fd2477be11 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Tue, 7 Oct 2014 12:06:59 +0200
Subject: [PATCH] Make sure Vanuatoo doesn't throw trivial StackOverflows..
---
src/main/scala/leon/datagen/VanuatooDataGen.scala | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/main/scala/leon/datagen/VanuatooDataGen.scala b/src/main/scala/leon/datagen/VanuatooDataGen.scala
index 1dbb5caa3..e6e9fe451 100644
--- a/src/main/scala/leon/datagen/VanuatooDataGen.scala
+++ b/src/main/scala/leon/datagen/VanuatooDataGen.scala
@@ -200,6 +200,9 @@ class VanuatooDataGen(ctx: LeonContext, p: Program) extends DataGenerator {
(EvaluationResults.Successful(result), if (!pattern._2) Some(pattern._1) else None)
} catch {
+ case e : StackOverflowError =>
+ (EvaluationResults.RuntimeError(e.getMessage), None)
+
case e : ClassCastException =>
(EvaluationResults.RuntimeError(e.getMessage), None)
--
GitLab