Skip to content
Commit 3e8fa798 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Add support for generating enumeration types. 

Add support to SMTLIB and CVC3 to generate enumeration types.
parent d997d896
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment