projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 31681c7 e3691b6)
Merge pull request #154 from 4tXJ7f/fix_test
authorClark Barrett <barrett@cs.stanford.edu>
Sun, 14 May 2017 03:02:24 +0000 (20:02 -0700)
committerGitHub <noreply@github.com>
Sun, 14 May 2017 03:02:24 +0000 (20:02 -0700)
Fix out-of-bounds access in test


Trivial merge