skip some benchmarks as tests

These benchmarks are not interesting as tests, and some don't complete
within the default timeout. Don't bother running them.
This commit is contained in:
Matthew Flatt 2019-10-12 16:27:14 -06:00
parent cd596e5277
commit edefea7b61

View File

@ -0,0 +1,4 @@
#lang info
(define test-omit-paths 'all)