Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove unused file benchmark_testcases.csv (#528)
This was used by run-benchmarks.py but that script was removed in #62. This doesn't seem to serve a purposes anymore so can be removed.
- Loading branch information