From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 14 Apr 2022 04:46:19 +0000 (-0500)
Subject: Update LFSC version (#8614)
X-Git-Tag: cvc5-1.0.1~265
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a37f08de3a77fa2dc6667794cf24368b98b267ae;p=cvc5.git

Update LFSC version (#8614)

Now has a different expected output ("success" for each check).
---

diff --git a/contrib/get-lfsc-checker b/contrib/get-lfsc-checker
index f4fe867c0..c46b13eda 100755
--- a/contrib/get-lfsc-checker
+++ b/contrib/get-lfsc-checker
@@ -24,7 +24,7 @@ LFSC_DIR="$BASE_DIR/lfsc-checker"
 mkdir -p $LFSC_DIR
 
 # download and unpack LFSC
-version="15f53d6feb84e4ddb41deaf2b5630f5c1303b06d"
+version="80b6a1b67f819b58f3e80c029a5e22f42d2ab32f"
 download "https://github.com/cvc5/LFSC/archive/$version.tar.gz" $BASE_DIR/tmp/lfsc.tgz
 tar --strip 1 -xzf $BASE_DIR/tmp/lfsc.tgz -C $LFSC_DIR