diff options
| author | Joshua Bakita <jbakita@cs.unc.edu> | 2020-10-17 21:22:08 -0400 |
|---|---|---|
| committer | Joshua Bakita <jbakita@cs.unc.edu> | 2020-10-17 21:30:01 -0400 |
| commit | ecf6547fdce39b3ec0f333c9b391b0f1c25deba5 (patch) | |
| tree | c6f25afe348be22172bed024ffe8881323e74aaf /dis/inputs/Neighborhood/in0 | |
| parent | 1120161286ee5c855b630bccc9e0b37bb8a3ee65 (diff) | |
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
Diffstat (limited to 'dis/inputs/Neighborhood/in0')
| l--------- | dis/inputs/Neighborhood/in0 | 1 |
1 files changed, 1 insertions, 0 deletions
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 | |||