1 files changed, 10 insertions, 0 deletions
diff --git a/examples/program_analysis/paper_demos/gemm2.before.txt b/examples/program_analysis/paper_demos/gemm2.before.txt
new file mode 100644
index 0000000..6e0ab1c
--- /dev/null
+++ b/examples/program_analysis/paper_demos/gemm2.before.txt
@@ -0,0 +1,10 @@
+assert(k > 1);
+int outer = k, A_cols = k / 2;
+read_mat(outer, A_cols, &A);
+read_mat(A_cols, outer, &B);
+while (!done(A, B)) {
+    read_row(&A);
+    read_col(&B);
+    outer++;
+}
+gemm_large(A, B, &C, outer, A_cols, outer);