diff --git a/testcases/miller_example/gyacomo b/testcases/miller_example/gyacomo
new file mode 120000
index 0000000000000000000000000000000000000000..be41eac6432521baf94e0dcec8f5e3da56d53d90
--- /dev/null
+++ b/testcases/miller_example/gyacomo
@@ -0,0 +1 @@
+../../bin/gyacomo
\ No newline at end of file
diff --git a/testcases/miller_example/gyacomo_dbg b/testcases/miller_example/gyacomo_dbg
new file mode 120000
index 0000000000000000000000000000000000000000..a4d57aa8eef7cfa1785e4633eb5cb2ad41ea9ed4
--- /dev/null
+++ b/testcases/miller_example/gyacomo_dbg
@@ -0,0 +1 @@
+../../bin/gyacomo_dbg
\ No newline at end of file
diff --git a/testcases/miller_example_w_salpha/gyacomo b/testcases/miller_example_w_salpha/gyacomo
new file mode 120000
index 0000000000000000000000000000000000000000..be41eac6432521baf94e0dcec8f5e3da56d53d90
--- /dev/null
+++ b/testcases/miller_example_w_salpha/gyacomo
@@ -0,0 +1 @@
+../../bin/gyacomo
\ No newline at end of file