[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Rename BENCHMARKS_FALLBACK

Subject: Re: Rename BENCHMARKS_FALLBACK
From: Chris Warburton
Date: Wed, 28 Jun 2017 15:45:24 +0100
In-reply-to: <d12c70e7f61afc05-0-artemis@nixos>
References: <d12c70e7f61afc05-0-artemis@nixos>

Use BENCHMARKS instead

References:
- Rename BENCHMARKS_FALLBACK
  - From: Chris Warburton

Prev by Date: Re: theorems-from-file redundant?
Next by Date: Re: precision-recall-eqs-wrapper file reading
Previous by thread: Rename BENCHMARKS_FALLBACK
Next by thread: Use caches in tests
Index(es):
- Date
- Thread