From ecf6547fdce39b3ec0f333c9b391b0f1c25deba5 Mon Sep 17 00:00:00 2001
From: Joshua Bakita <jbakita@cs.unc.edu>
Date: Sat, 17 Oct 2020 21:22:08 -0400
Subject: All the DIS runner scripts as used for the (rejected) RTSS'20
 submission

DANGER! There's an inconsistency in the input files used for the
all-pairs tests and those used for the baseline tests.

Baselines: run_all_dis.sh calls run_dis.sh to do all baselines.
All-pairs: Uses old TACLe script (not included here).
Cache allocation 2nd-order effects on SMT friendliness: run_pair_convexity.sh
---
 dis/inputs/Neighborhood/in0 | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 dis/inputs/Neighborhood/in0

(limited to 'dis/inputs/Neighborhood/in0')

diff --git a/dis/inputs/Neighborhood/in0 b/dis/inputs/Neighborhood/in0
new file mode 120000
index 0000000..83ac113
--- /dev/null
+++ b/dis/inputs/Neighborhood/in0
@@ -0,0 +1 @@
+test1.in
\ No newline at end of file
-- 
cgit v1.2.2