PetScan::resolve_nested: detect and remove duplicate filters
commitd1cf3bf14c540af05df3ef55d5cbee233d9a2525
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 9 Mar 2012 10:24:26 +0000 (9 11:24 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 22 May 2012 09:45:29 +0000 (22 11:45 +0200)
tree61b9e26eea96f5a3ce5a5e2c95ff2b9999b338a3
parent997487e627a6e7277ae26fea8ef72f9fb316fd9f
PetScan::resolve_nested: detect and remove duplicate filters

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
tests/dynamic_condition.c [new file with mode: 0644]
tests/dynamic_condition.scop [new file with mode: 0644]