mark __pet_test_* variables as uniquely_defined
commit318213e2931ae9d2524af6f9402f31f6e3fb97fd
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 4 Jan 2012 16:49:08 +0000 (4 17:49 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 22 May 2012 09:45:29 +0000 (22 11:45 +0200)
tree51519817b778acfec80b13db3884511215e03f11
parentddc8135c43a5fca428bd34084e6303f97446063b
mark __pet_test_* variables as uniquely_defined

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
tests/data_dependent2.scop
tests/wdp.scop