projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 571195c) | patch
Fix type issue for LFSC null terminator (#8607)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 12 Apr 2022 21:54:25 +0000 (16:54 -0500)
committerGitHub <noreply@github.com>
Tue, 12 Apr 2022 21:54:25 +0000 (16:54 -0500)
commitee576b76441b9ab423cfaaa744a25487d0cd829a
tree88bca0d6da87435e930b7629302c76b2cf6c18dctree
parent571195c8c297192dc3134edf339af2faeaba79ffcommit | diff
Fix type issue for LFSC null terminator (#8607)

This fixes an assertion failure when producing LFSC proofs in debug mode.

The issue currently does not impact the correctness of the code, although this will be important if subtypes are eliminated.
src/proof/lfsc/lfsc_post_processor.cpp diff | blob | history