diff options
author | leino <unknown> | 2015-06-25 18:10:42 -0700 |
---|---|---|
committer | leino <unknown> | 2015-06-25 18:10:42 -0700 |
commit | 3d6b2b77830f7f2bc4f3e61d4d3c8a163123dd31 (patch) | |
tree | ebb5f6b327343e7e120cd4dff434ed3131326696 /Test/VSI-Benchmarks | |
parent | e1326254214bcd2546ab5ca992cf4c26e4aa99ed (diff) |
Removed unneeded :heapQuantifier from test case (rendinging this attribute currently unused in the test suite)
Diffstat (limited to 'Test/VSI-Benchmarks')
0 files changed, 0 insertions, 0 deletions