diff options
author | qadeer <qadeer@microsoft.com> | 2012-05-30 13:04:23 -0700 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2012-05-30 13:04:23 -0700 |
commit | 21a780214dbc88ebdc9ae4f8b932a086aea9ba86 (patch) | |
tree | 75cc0964911fd37e3e0058403ef59b0a246910e0 /Chalice/tests/refinements/Celebrity.chalice | |
parent | 0b5078e11f7c4c919a6d2e455d2798097eadff0b (diff) |
added support for recordProcCallSites to new SI
Diffstat (limited to 'Chalice/tests/refinements/Celebrity.chalice')
0 files changed, 0 insertions, 0 deletions