don't require running every testcase for bin tests, just a random one