diff options
| author |  kyessenov <unknown> | 2010-08-19 09:07:14 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-08-19 09:07:14 +0000 |
| commit | a890cf13ee32c05490f2d9be6e124d4bf269f6a3 (patch) | |
| tree | 9eef4702f674904fd08c19b614f5cd1297bf2f70 /Test/test13 | |
| parent | 4822eacf46b31d979dd2e3a0a166fce95f5fb40e (diff) | |
Chalice:
* support multi-step refinement (convert refinement blocks into normal sequences of statements)
* added tests
Diffstat (limited to 'Test/test13')
0 files changed, 0 insertions, 0 deletions