1 files changed, 6 insertions, 0 deletions
diff --git a/examples/program_analysis/paper_demos/gemm1.before.txt b/examples/program_analysis/paper_demos/gemm1.before.txt
new file mode 100644
index 0000000..5ff9d2b
--- /dev/null
+++ b/examples/program_analysis/paper_demos/gemm1.before.txt
@@ -0,0 +1,6 @@
+assert(k > 0);
+int outer = k * 100;
+int inner = k * 10;
+read_mat(outer, inner, &A);
+read_mat(inner, outer, &B);
+gemm_large(A, B, &C, outer, inner, outer);