add a counter example for Theorem 1 of the COCOA paper
commit9966b1796ed773aaa43a0c6a05fad9256e410dc6
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 5 Feb 2010 09:04:51 +0000 (5 10:04 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 8 Feb 2010 18:41:58 +0000 (8 19:41 +0100)
tree94881d2425bf79ae9c8486ff9278ee8798407c70
parent8e4a23a33744e99b005f070af19cfc9343c81c99
add a counter example for Theorem 1 of the COCOA paper
isl_test.c