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/Pointer | |
| 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/Pointer')
| -rw-r--r-- | dis/inputs/Pointer/in0 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dis/inputs/Pointer/in0 b/dis/inputs/Pointer/in0 new file mode 100644 index 0000000..3535667 --- /dev/null +++ b/dis/inputs/Pointer/in0 | |||
| @@ -0,0 +1,3 @@ | |||
| 1 | 10485770 15 12800000 -2 1 | ||
| 2 | |||
| 3 | 10 10485760 10485760 | ||