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/spectral.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/spectral.c')
| -rw-r--r-- | test/c/spectral.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/spectral.c b/test/c/spectral.c index f7dc90ee..7e56bf7f 100644 --- a/test/c/spectral.c +++ b/test/c/spectral.c @@ -43,7 +43,7 @@ void eval_AtA_times_u(int N, const double u[], double AtAu[]) int main(int argc, char *argv[]) { int i; - int N = ((argc == 2) ? atoi(argv[1]) : 1000); + int N = ((argc == 2) ? atoi(argv[1]) : 15); double * u, * v, vBv, vv; u = malloc(N * sizeof(double)); v = malloc(N * sizeof(double)); |