team-worthwhile/worthwhile — Issue #9: Variablennamen in generiertem SMTLIB-Code ändern
Author: jspam
Created: 2012-01-11 12:52:48+00:00
State: open

Da Worthwhile-Variablen potenziell so heißen können wie SMTLIB-Schlüsselwörter, sollten die generierten Variablen im SMTLIB-Code so heißen, dass keine Konflikte entstehen können, beispielsweise durch Anhängen von _