Aina Niemetz, Armin Biere,
"ddSMT: A Delta Debugger for the SMT-LIB v2 Format"
: Proc. 11th Intl. Workshop on Satisfiability Modulo Theories (SMT'13), Seite(n) 36-45, 2013
Original Titel:
ddSMT: A Delta Debugger for the SMT-LIB v2 Format
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 11th Intl. Workshop on Satisfiability Modulo Theories (SMT'13)
Original Kurzfassung:
Delta debugging tools automatically minimize failure-inducing input and enable
efficient localization of erroneous code. In particular when debugging complex verification
backends such as SMT solvers, delta debuggers provide an effective debugging approach
where other debugging techniques are infeasible due to the input formula size. In this
paper, we present ddSMT, a delta debugger for the SMT-LIB v2 format, which supports all
SMT-LIB v2 logics and in particular handles macros and scopes defined by the commands
push and pop. We introduce its architecture and describe its workflow in detail."