diff options
| author |  qadeer <unknown> | 2014-01-08 22:10:54 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-01-08 22:10:54 -0800 |
| commit | a0da62d4eba25d38b35445378a9cfd7dafed25ba (patch) | |
| tree | 4d391f17458e1422970fd18b9f81f3e9571426b7 /Test/test2 | |
| parent | 6c4edf3e7aea971d002d2e4e472a08ffc62a3eb2 (diff) | |
a fix regarding the checking of assertions in atomic specs at call sites
Diffstat (limited to 'Test/test2')
0 files changed, 0 insertions, 0 deletions