diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 14:32:25 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 14:32:25 +0200 |
commit | f0f25eabe5b374f20a5db30f652f6e994fff3fb3 (patch) | |
tree | bbf790a23bc9a3f75195e7adc5505bfe80649a33 /test/c/chomp.c | |
parent | 70cc8540ed308d26b4c211a291fef66f942b8431 (diff) | |
download | compcert-kvx-f0f25eabe5b374f20a5db30f652f6e994fff3fb3.tar.gz compcert-kvx-f0f25eabe5b374f20a5db30f652f6e994fff3fb3.zip |
Scaling down most of c/ CompCert tests
Diffstat (limited to 'test/c/chomp.c')
-rw-r--r-- | test/c/chomp.c | 4 |
1 files changed, 2 insertions, 2 deletions
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 */ |