projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24a9049) | patch
Fix coverity warnings in datatypes (#2553)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Nov 2018 21:19:32 +0000 (15:19 -0600)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 27 Nov 2018 21:19:32 +0000 (13:19 -0800)
commit711234e01a17289d1fa4af3574ddf5d6de2405a1
tree28f59dfb4c91715010e0cec4da322f1dddd24d55tree
parent24a904988e764189276794bf37b24d63d9f958cdcommit | diff
Fix coverity warnings in datatypes (#2553)

This caches some information regarding tester applications and changes int -> size_t in a few places.
src/theory/datatypes/datatypes_sygus.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history