From f0f25eabe5b374f20a5db30f652f6e994fff3fb3 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 13 Sep 2019 14:32:25 +0200 Subject: Scaling down most of c/ CompCert tests --- test/c/chomp.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/c/chomp.c') diff --git a/test/c/chomp.c b/test/c/chomp.c index 728e7a01..a2d0d627 100644 --- a/test/c/chomp.c +++ b/test/c/chomp.c @@ -338,8 +338,8 @@ int main(void) struct _play *tree; - ncol = 7; - nrow = 7; + ncol = 5; + nrow = 5; tree = make_play(1); /* create entire tree structure, not just the */ player = 0; /* needed part for first move */ current = make_data(nrow,ncol); /* start play at full board */ -- cgit