From f9ebf19ba3ca4c3ee67cc88bbea407d4dd734249 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 17 Feb 2010 13:25:03 +0000 Subject: 3 more benchmarks git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1252 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/c/Results/chomp | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 test/c/Results/chomp (limited to 'test/c/Results/chomp') diff --git a/test/c/Results/chomp b/test/c/Results/chomp new file mode 100644 index 00000000..c2154208 --- /dev/null +++ b/test/c/Results/chomp @@ -0,0 +1,19 @@ +player 0 plays at (2,2) +player 1 plays at (7,1) +player 0 plays at (0,2) +player 1 plays at (7,0) +player 0 plays at (6,1) +player 1 plays at (6,0) +player 0 plays at (5,1) +player 1 plays at (5,0) +player 0 plays at (4,1) +player 1 plays at (4,0) +player 0 plays at (3,1) +player 1 plays at (3,0) +player 0 plays at (2,1) +player 1 plays at (2,0) +player 0 plays at (1,1) +player 1 plays at (1,0) +player 0 plays at (0,1) +player 1 plays at (0,0) +player 1 loses -- cgit