projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 459cb24) | patch
Adds unit test that show Node and TNode work with for each loops. (#1230)
authorTim King <taking@cs.nyu.edu>
Mon, 16 Oct 2017 18:22:21 +0000 (11:22 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Mon, 16 Oct 2017 18:22:21 +0000 (11:22 -0700)
commit2fcaf83bd8d93399cb1fb4bbfe3a252398d314c6
tree367df5d07620c206b2303ae5d0eb1a4bbedea7d7tree
parent459cb24dafae7b6253476cfae07a54fc5a4a9166commit | diff
Adds unit test that show Node and TNode work with for each loops. (#1230)

Extends test/unit/expr/node_black.h with tests that show Node and TNode can work with C++11 for each loops.
test/unit/expr/node_black.h diff | blob | history