Closed kjcjohnson closed 3 years ago
From Jinwoo: inside declare-nt, we had a syntax of something like E.Sem E.Term Int Int Int. This should be changed to E.Sem (E.Term Int Int Int), since this is the way that relations are declared in SMTLIB2.
declare-nt
E.Sem E.Term Int Int Int
E.Sem (E.Term Int Int Int)
From Jinwoo: inside
declare-nt, we had a syntax of something likeE.Sem E.Term Int Int Int. This should be changed toE.Sem (E.Term Int Int Int), since this is the way that relations are declared in SMTLIB2.