1 files changed, 24 insertions, 0 deletions
diff --git a/verify-chill/without/test_print_dep.py.out b/verify-chill/without/test_print_dep.py.out
new file mode 100644
index 0000000..f96eb53
--- /dev/null
+++ b/verify-chill/without/test_print_dep.py.out
@@ -0,0 +1,24 @@
+#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;
+      }
+}