Incorrect logic for PBE and Inv benchmarks in SyGuS v2 #5
Description
We should update the v2 parser and printer to work with (set-logic Inv_X) and (set-logic PBE_X) logics instead of the v1-style (set-logic X).
{{ message }}
We should update the v2 parser and printer to work with (set-logic Inv_X) and (set-logic PBE_X) logics instead of the v1-style (set-logic X).