summaryrefslogtreecommitdiff
path: root/Yices
ModeNameSize
d---------Painless176logplain