| commit | 9fa8d17e9630498e5d900d00a958b60ac32263be | [log] [tgz] |
|---|---|---|
| author | ebruneton <ebruneton> | Tue Aug 19 10:01:49 2008 +0000 |
| committer | ebruneton <ebruneton> | Tue Aug 19 10:01:49 2008 +0000 |
| tree | 4c179b609e8008b1a06fb8d430251f2ef3caa3d7 | |
| parent | d45cbedaf48e955a6c03e6c301c0bcfefc5bae69 [diff] |
added option to perform basic data flow checks in Check*Adapter (with BasicVerifier); added unit test cases to test added code