summaryrefslogtreecommitdiff
path: root/verify-chill/without/test_known.py.out
diff options
context:
space:
mode:
Diffstat (limited to 'verify-chill/without/test_known.py.out')
-rw-r--r--verify-chill/without/test_known.py.out19
1 files changed, 0 insertions, 19 deletions
diff --git a/verify-chill/without/test_known.py.out b/verify-chill/without/test_known.py.out
deleted file mode 100644
index e8f0856..0000000
--- a/verify-chill/without/test_known.py.out
+++ /dev/null
@@ -1,19 +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;
- for (t2 = 0; t2 <= an - 1; t2 += 1)
- for (t4 = 0; t4 <= bm - 1; t4 += 1) {
- 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];
- }
-}