projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5b0866) | patch
Addressing a coverity scan complaint in theory_strings.cpp. I believe the root cause...
authorTim King <taking@cs.nyu.edu>
Mon, 11 Sep 2017 15:55:56 +0000 (08:55 -0700)
committerGitHub <noreply@github.com>
Mon, 11 Sep 2017 15:55:56 +0000 (08:55 -0700)
commitb8465bf303d4a3b9edb4bf5601a727e9e29828d9
treebc268f7ed28ec0bcf9924e8af6f308bdc5d755e0tree
parentd5b0866bd2a2551143caf591d453993ab5a48840commit | diff
Addressing a coverity scan complaint in theory_strings.cpp. I believe the root cause is that d_normal_forms_exp[r[0]] could have referred to different vectors (as operator[] is inserting for maps). (#1080)
src/theory/strings/theory_strings.cpp diff | blob | history