diff options
Diffstat (limited to 'verify-chill/with/test_print_space.py.out')
-rw-r--r-- | verify-chill/with/test_print_space.py.out | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/verify-chill/with/test_print_space.py.out b/verify-chill/with/test_print_space.py.out deleted file mode 100644 index f6e21a7..0000000 --- a/verify-chill/with/test_print_space.py.out +++ /dev/null @@ -1,24 +0,0 @@ -#define __rose_lt(x,y) ((x)<(y)?(x):(y)) -#define __rose_gt(x,y) ((x)>(y)?(x):(y)) - -void mm(float **A,float **B,float **C,int ambn,int an,int bm) -{ - int t6; - int t4; - int t2; - int i; - int j; - int n; - if (1 <= bm) - for (t2 = 0; t2 <= an - 1; t2 += 1) - for (t4 = 0; t4 <= bm - 1; t4 += 1) { - if (1 <= ambn) { - C[t2][t4] = 0.0f; - C[t2][t4] += (A[t2][0] * B[0][t4]); - } - for (t6 = 1; t6 <= ambn - 1; t6 += 1) - C[t2][t4] += (A[t2][t6] * B[t6][t4]); - if (ambn <= 0) - C[t2][t4] = 0.0f; - } -} |