From 2dd4336cbe170de35635341de436ff60ed0dc6e0 Mon Sep 17 00:00:00 2001
From: Antoine Hoffmann <antoine.hoffmann@epfl.ch>
Date: Mon, 17 Oct 2022 17:29:43 +0200
Subject: [PATCH] add test cases

---
 testcases/miller_example/gyacomo          | 1 +
 testcases/miller_example/gyacomo_dbg      | 1 +
 testcases/miller_example_w_salpha/gyacomo | 1 +
 3 files changed, 3 insertions(+)
 create mode 120000 testcases/miller_example/gyacomo
 create mode 120000 testcases/miller_example/gyacomo_dbg
 create mode 120000 testcases/miller_example_w_salpha/gyacomo

diff --git a/testcases/miller_example/gyacomo b/testcases/miller_example/gyacomo
new file mode 120000
index 00000000..be41eac6
--- /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 00000000..a4d57aa8
--- /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 00000000..be41eac6
--- /dev/null
+++ b/testcases/miller_example_w_salpha/gyacomo
@@ -0,0 +1 @@
+../../bin/gyacomo
\ No newline at end of file
-- 
GitLab