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

Display id instead of globalID for SMT identifiers

parent d5536f7c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala
+ 1
− 1
View file @ 024778d8
...@@ -103,7 +103,7 @@ abstract class SMTLIBSolver(val context: LeonContext, ...@@ -103,7 +103,7 @@ abstract class SMTLIBSolver(val context: LeonContext,
protected val library = program.library protected val library = program.library
protected def id2sym(id: Identifier): SSymbol = SSymbol(id.name+"!"+id.globalId) protected def id2sym(id: Identifier): SSymbol = SSymbol(id.name+"!"+id.id)
protected def freshSym(id: Identifier): SSymbol = freshSym(id.name) protected def freshSym(id: Identifier): SSymbol = freshSym(id.name)
protected def freshSym(name: String): SSymbol = id2sym(FreshIdentifier(name)) protected def freshSym(name: String): SSymbol = id2sym(FreshIdentifier(name))
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment