diff options
| author | Piotr Trojanek <piotr.trojanek@gmail.com> | 2019-08-22 23:12:20 +0200 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-08 11:03:44 -0700 |
| commit | 788212a3783affa634dc685b6f1b086f292c2528 (patch) | |
| tree | 039d25735eab4d1ecae2f9ea5ffa64ae82020076 /src/theory | |
| parent | 7aebe3a327f1075f1489384b7e4e2808250ae344 (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>
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/bv/abstraction.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/theory/bv/abstraction.cpp b/src/theory/bv/abstraction.cpp index 16f77f925..cb829aba6 100644 --- a/src/theory/bv/abstraction.cpp +++ b/src/theory/bv/abstraction.cpp @@ -755,9 +755,10 @@ Node AbstractionModule::simplifyConflict(TNode conflict) { return new_conflict; } - -void DebugPrintInstantiations(const std::vector< std::vector<ArgsVec> >& instantiations, - const std::vector<TNode> functions) { +void DebugPrintInstantiations( + const std::vector<std::vector<ArgsVec> >& instantiations, + const std::vector<TNode>& functions) +{ // print header Debug("bv-abstraction-dbg") <<"[ "; for (unsigned i = 0; i < functions.size(); ++i) { |