Gbury/dolmen

Bitvectors of size 0 should be forbidden

bclement-ocp opened this issue · 0 comments

bclement-ocp commented

See https://smtlib.cs.uiowa.edu/theories-FixedSizeBitVectors.shtml

 :sorts_description "
    All sort symbols of the form (_ BitVec m)
    where m is a numeral greater than 0.
 "