testsmt/yinyang

Sanity check for type-checking on the currently supported logics

Opened this issue · 0 comments

Sanity check for type-checking on the currently supported logics