summaryrefslogtreecommitdiff
path: root/test/regress/regress0/error.cvc
diff options
context:
space:
mode:
authorKshitij Bansal <kshitij@cs.nyu.edu>2014-04-27 18:41:03 -0400
committerKshitij Bansal <kshitij@cs.nyu.edu>2014-04-27 18:45:42 -0400
commit58d2d5e99fee6bf3a067f4b6c3f731e66b5c51e0 (patch)
tree05b4aefeadfe9e8b135fab0806b07f56648e47b1 /test/regress/regress0/error.cvc
parent2ece1ef9601b5ef53b0589bc732b09b95da2b555 (diff)
rm undocument/non-working* "feature"
*test of unsigned for negative
Diffstat (limited to 'test/regress/regress0/error.cvc')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback