From eac8e7f21d6c9dfb62209658b65af520fb611240 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 7 May 2015 14:17:59 +0200
Subject: [PATCH] Correct name of smt-cvc4-proof
---
.../scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala
index c6385d426..808a3b4db 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala
@@ -15,6 +15,8 @@ import smtlib.theories.Core.Equals
trait SMTLIBCVC4QuantifiedTarget extends SMTLIBCVC4Target {
this: SMTLIBSolver =>
+ override val targetName = "cvc4-proof"
+
private val typedFunDefExplorationLimit = 10000
override def declareFunction(tfd: TypedFunDef): SSymbol = {
--
GitLab