projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8465bf) | patch
Adding reasonable breaks in switch statement in TheoryStrings::normalizeRegexp. Minor...
authorTim King <taking@cs.nyu.edu>
Tue, 12 Sep 2017 00:07:16 +0000 (17:07 -0700)
committerGitHub <noreply@github.com>
Tue, 12 Sep 2017 00:07:16 +0000 (17:07 -0700)
commitb0d151fc69779c9e214d89683e005756a9834c2e
treefa12bcaec9d695ec0386dc328ad3e5051c5617b2tree
parentb8465bf303d4a3b9edb4bf5601a727e9e29828d9commit | diff
Adding reasonable breaks in switch statement in TheoryStrings::normalizeRegexp. Minor code reorganization and applying clang-tidy to the function. (#1079)
src/theory/strings/theory_strings.cpp diff | blob | history