projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e705ed6) | patch
Fix LFSC node converter for 0-ary tuples (#8706)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 3 May 2022 20:58:34 +0000 (15:58 -0500)
committerGitHub <noreply@github.com>
Tue, 3 May 2022 20:58:34 +0000 (20:58 +0000)
commit61da690d4a441f3c754ce25d64e5b8ff9d0080ff
treefe95d31a3f9671eb7a67d54a4f21de4d1967f4bbtree
parente705ed6752b71764a5e0db7c2818191c280dd11acommit | diff
Fix LFSC node converter for 0-ary tuples (#8706)

Was missing 0-ary Tuple case for type-as-node.

Also removes a spurious check in the user-defined sorts case.

Fixes some issues in the nightlies.
src/proof/lfsc/lfsc_node_converter.cpp diff | blob | history