[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Run QuickSpec on strictly-accumulating mult2, op and qexp
- Subject: Re: Run QuickSpec on strictly-accumulating mult2, op and qexp
- From: Chris Warburton
- Date: Fri, 12 Apr 2019 19:55:49 +0100
- In-reply-to: <f1fe36ed8b70a723-0-artemis@nixos>
- References: <f1fe36ed8b70a723-0-artemis@nixos>
Using small generators doesn't seem to fix everything. I'm now making a
Nix derivation containing runs for all "toxic" functions, with lazy and
strict versions, on normal and small generators.