projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12293a3) | patch
Update LFSC version (#8614)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 14 Apr 2022 04:46:19 +0000 (23:46 -0500)
committerGitHub <noreply@github.com>
Thu, 14 Apr 2022 04:46:19 +0000 (23:46 -0500)
commita37f08de3a77fa2dc6667794cf24368b98b267ae
treef5ec54b3705fe856abc9bcb10e135c9514cdadb2tree
parent12293a35d56ddefe51adba6d07f058f10b1dd20ecommit | diff
Update LFSC version (#8614)

Now has a different expected output ("success" for each check).
contrib/get-lfsc-checker diff | blob | history