projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7aebe3a) | patch
pass parameters by reference where it affects performance
authorPiotr Trojanek <piotr.trojanek@gmail.com>
Thu, 22 Aug 2019 21:12:20 +0000 (23:12 +0200)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 8 Oct 2019 18:03:44 +0000 (11:03 -0700)
commit788212a3783affa634dc685b6f1b086f292c2528
tree039d25735eab4d1ecae2f9ea5ffa64ae82020076tree
parent7aebe3a327f1075f1489384b7e4e2808250ae344commit | diff
pass parameters by reference where it affects performance

Detected with cppcheck static analyser, which said: (performance) Function
parameter should be passed by reference. Reformat with clang-format as
needed.

Signed-off-by: Piotr Trojanek <piotr.trojanek@gmail.com>
src/expr/record.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/bv/abstraction.cpp diff | blob | history