alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard
verified publisher icon OCamlPro

Add `psmt2` tests

Open bclement-ocp opened this issue 2 years ago • 0 comments

Since we support polymorphic input in the SMT-LIB format, we should have at least a few minimal tests for that feature.

bclement-ocp avatar Nov 16 '23 12:11 bclement-ocp