diff options
| author | Don Stewart <dons@galois.com> | 2008-03-22 01:20:26 +0100 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2008-03-22 01:20:26 +0100 |
| commit | f8c305ba1414f704c097771416fc74ffc4883811 (patch) | |
| tree | f24bb7469719951ef9c803d0d143587d58698234 /util | |
| parent | 3ba8517b7c58d1cc9a8254ad96191bc46a2f9d93 (diff) | |
| download | metatile-f8c305ba1414f704c097771416fc74ffc4883811.tar metatile-f8c305ba1414f704c097771416fc74ffc4883811.zip | |
add QuickCheck property for Full: it produces one window, it is fullscreen, and it is the current window
darcs-hash:20080322002026-cba2c-3642c7cb7aab09cd86ab0e7c7ac43840f0c7f1a6
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions