| commit | 880d5aec32e808d8d38f560e437061de742691e3 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 17 Oct 2011 11:32:40 +0000 (17 13:32 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 2 Nov 2011 16:19:15 +0000 (2 17:19 +0100) | ||
| tree | 7d180d449f8b8a237840e06ad8491f630fdd0180 | treesnapshot (tar.gz zip) |
| parent | 4ff5143aacf004500c3892f54968d2cbd7d2781f | commitdiff |
mark __pet_test_* scalars as only attaining values 0 and 1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory | |
| tests/wdp.scop | diffblobblamehistory |