Skip to content
Snippets Groups Projects
Commit eac8e7f2 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Correct name of smt-cvc4-proof

parent ffec223e
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedTarget.scala
+ 2
− 0
View file @ eac8e7f2
...@@ -15,6 +15,8 @@ import smtlib.theories.Core.Equals ...@@ -15,6 +15,8 @@ import smtlib.theories.Core.Equals
trait SMTLIBCVC4QuantifiedTarget extends SMTLIBCVC4Target { trait SMTLIBCVC4QuantifiedTarget extends SMTLIBCVC4Target {
this: SMTLIBSolver => this: SMTLIBSolver =>
override val targetName = "cvc4-proof"
private val typedFunDefExplorationLimit = 10000 private val typedFunDefExplorationLimit = 10000
override def declareFunction(tfd: TypedFunDef): SSymbol = { override def declareFunction(tfd: TypedFunDef): SSymbol = {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment