diff options
author | 2012-12-20 09:24:02 +0000 | |
---|---|---|
committer | 2012-12-20 09:24:02 +0000 | |
commit | 23471ff664051f15faee787eb25ca72b74acfab5 (patch) | |
tree | f36a65782cc7efc9a19002e26d4849caf751896c /Jennisys | |
parent | 66931c81ab8871dab357d01448ef1c9dec0b53fd (diff) |
Support for "do_not_predicate" in predication of requires and ensures
Diffstat (limited to 'Jennisys')
0 files changed, 0 insertions, 0 deletions