From 837bee8d71112e8a5d23ffa59d9a8def4ad0ac20 Mon Sep 17 00:00:00 2001 From: perry0513 Date: Mon, 18 Mar 2024 16:26:48 -0700 Subject: [PATCH] Return original expr instead of throwing errors to past test --- src/main/scala/uclid/smt/ASTConcreteEvaluator.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/scala/uclid/smt/ASTConcreteEvaluator.scala b/src/main/scala/uclid/smt/ASTConcreteEvaluator.scala index 0c4977db..ce3f7c1d 100644 --- a/src/main/scala/uclid/smt/ASTConcreteEvaluator.scala +++ b/src/main/scala/uclid/smt/ASTConcreteEvaluator.scala @@ -40,14 +40,14 @@ object ASTConcreteEvaluator case _ => throw new Utils.UnimplementedException("Unimplemented operator application evaluation") } } - case _ => throw new Utils.UnimplementedException("Unimplemented operator application evaluation") + case _ => e // Unimplemented operator application evaluation } } case ConstRecord(fields) => ConstRecord(fields) case Symbol(id, typ) => { val definitions = modelUclid.functions.filter(fun => fun._1.asInstanceOf[lang.DefineDecl].id.name == id.toString) definitions.size match { - case 0 => throw new Utils.RuntimeError("No definition found in the assignment model!") + case 0 => e // No definition found, return the symbol. Should raise some error here case 1 => { val valueExpr = definitions.head._1.asInstanceOf[lang.DefineDecl].expr Converter.exprToSMT(valueExpr, lang.Scope.empty)