diff options
author | Joshua Bakita <jbakita@cs.unc.edu> | 2020-10-22 03:17:31 -0400 |
---|---|---|
committer | Joshua Bakita <jbakita@cs.unc.edu> | 2020-10-22 03:17:31 -0400 |
commit | 163c440444c74a4e0bbe0a8db3d1ca725413994b (patch) | |
tree | d4eaf9f407be042811f26dfb2613ff1c99966289 /SD-VBS/benchmarks/svm/src/c/examineExample.c | |
parent | d17b33131c14864bd1eae275f49a3f148e21cf29 (diff) |
Make SD-VBS compatible with run_bench.sh and cleanup
SD-VBS:
- Run silently
- Fix some whitespace errors
- Don't duplicate extra.h
- Auto-detect if building with LITMUS-RT
- Disable result checking
- Add helper symlinks
Misc:
- Remove unused code from libextra
- Set some missing rt_param fields in libextra
- Disable CSV info dump from computeSMTslowdown.sh
- Widen scope of .gitignore on .txt files
- Include list of 2MB DIS pair benchmarks and inputs
Diffstat (limited to 'SD-VBS/benchmarks/svm/src/c/examineExample.c')
0 files changed, 0 insertions, 0 deletions