janhaag/PSE2011 — Issue #73: Quantifier lead to syntactically invalid SMTLib code
Author: ratefuchs
Created: 2012-03-01 12:11:21+00:00
State: open
Labels: Verifier/SMTLib

The current translation of quantifiers lead to expressions that are not correct quantified expression in SMTLib.