tomahawkins/smt-lib — Issue #5: Response parser gives Ga instead of Gv
Author: jwaldmann
Created: 2012-03-06 14:04:48+00:00
State: open

For an smt2 script with (check-sat)(get-value ...), Z3 answers

sat
((f12m false)
(f12c 0)
(f13m true) ...

and I was expecting that parseResponses gives [ Cs_response Sat , Gv_response pairs ]
but actually it produces [ Cs_response Sat , Ga_response terms ]

I expect it is difficult to know what the S-expression means
(the response parser does not know what command caused the output).