diff options
author | 2014-07-03 03:27:25 +0200 | |
---|---|---|
committer | 2014-07-03 03:27:25 +0200 | |
commit | c7508e18b12db7a1acee981560163e2c319dfc5b (patch) | |
tree | 711002eade12b7c52253b76b33c47547546ec31f /Test/aitest0 | |
parent | d274c9f110459096a71b8aabbcf7cf27582bf70e (diff) |
Made it not include free preconditions when producing partially verified preconditions.
Diffstat (limited to 'Test/aitest0')
0 files changed, 0 insertions, 0 deletions