diff options
| author | Don Stewart <dons@galois.com> | 2007-09-27 23:44:01 +0200 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2007-09-27 23:44:01 +0200 |
| commit | f5d686a3cb3c7f36109e221969b80e7cc5a0aab8 (patch) | |
| tree | 453dd83469e0f326b66a3f100567d9834e2d87e3 /tests/loc.hs | |
| parent | c04b6f4b266ec9a5381f3db679885cc36176cac0 (diff) | |
| download | metatile-f5d686a3cb3c7f36109e221969b80e7cc5a0aab8.tar metatile-f5d686a3cb3c7f36109e221969b80e7cc5a0aab8.zip | |
Add 3 QC properties for focusMaster: local, idempotent, preserves invariant
darcs-hash:20070927214401-cba2c-4d5e8646bcc9d21b844f56e7cea13b9af26de7c1
Diffstat (limited to 'tests/loc.hs')
0 files changed, 0 insertions, 0 deletions