From: Guy Date: Wed, 8 Jun 2016 18:53:02 +0000 (-0700) Subject: LFSC letification is true by default X-Git-Tag: cvc5-1.0.0~6049^2~9 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2db4844c1f0c307071ea94d0d58d1f322a0b1a6b;p=cvc5.git LFSC letification is true by default --- diff --git a/src/options/proof_options b/src/options/proof_options index 68ce156e9..a99d858bc 100644 --- a/src/options/proof_options +++ b/src/options/proof_options @@ -5,7 +5,7 @@ module PROOF "options/proof_options.h" Proof -option lfscLetification --lfsc-letification bool :default false +option lfscLetification --lfsc-letification bool :default true turns on global letification in LFSC proofs endmodule