Commit 0cfacc8

authored

chore: add datatype-related tests to term manager's unit tests (#36)

1 parent e01a08a commit 0cfacc8Copy full SHA for 0cfacc8

1 file changed

+229

-148

lines changed

cvc5Test/Unit
- ApiTermManager.lean

1 file changed

+229

-148

lines changed

Comments

(0)