leon icon indicating copy to clipboard operation
leon copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

Using TailRecursive printer in scala-smtlib

Open samarion opened this issue 9 years ago • 0 comments

There is currently no simple option to switch to the TailRecursive printer in scala-smtlib when dealing with large smt specs (this should potentially be done automatically). Also changing the printer in SMTLIBSolver is not sufficient as the printers are hard-coded inside the interpreters in scala-smtlib.

samarion avatar May 29 '15 15:05 samarion