[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Skip termination proofs
- Subject: Re: Skip termination proofs
- From: Chris Warburton
- Date: Tue, 05 Sep 2017 02:28:16 +0100
- In-reply-to: <c4843bd67c2960f3-0-artemis@nixos>
- References: <c4843bd67c2960f3-0-artemis@nixos>
We now use 'sorry' for all proofs. Note that this requires us to use the
'-o quick_and_dirty' argument for isaplanner.