diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:34:00 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:34:00 +0200 |
commit | c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 (patch) | |
tree | 7ad14408fed21ee50f2e115f663340afe1cffbc2 /benchmarks/polybench-syn-div/medley/floyd-warshall.c | |
parent | aa986aacbb80e9f92f77d65de74ba5051054eac7 (diff) | |
download | vericert-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.tar.gz vericert-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.zip |
Fix some more of the benchmarks
Diffstat (limited to 'benchmarks/polybench-syn-div/medley/floyd-warshall.c')
-rw-r--r-- | benchmarks/polybench-syn-div/medley/floyd-warshall.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/benchmarks/polybench-syn-div/medley/floyd-warshall.c b/benchmarks/polybench-syn-div/medley/floyd-warshall.c index 74d5c9b..776d95a 100644 --- a/benchmarks/polybench-syn-div/medley/floyd-warshall.c +++ b/benchmarks/polybench-syn-div/medley/floyd-warshall.c @@ -23,9 +23,9 @@ void init_array (int n, for (i = 0; i < n; plus(i)) for (j = 0; j < n; plus(j)) { - path[i][j] = i*(j % 7)+ONE; + path[i][j] = i*(j % (ONE+6))+ONE; //if (((i+j)%13 == ZERO || (i+j)%7== ZERO || (i+j)%11 == ZERO ) != 0 ) - if(((((i+j) % 13) == (int)0 || ((i+j) % 7) == (int)0)!=0 || ((i+j) % 11) == (int)0 ) != 0) + if(((((i+j) % (12+ONE)) == (int)0 || ((i+j) % (ONE+6)) == (int)0)!=0 || ((i+j) % (10+ONE)) == (int)0 ) != 0) path[i][j] = 999; } } |