projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22fbd52) | patch
some more tests for the context.
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 3 Feb 2010 00:15:15 +0000 (00:15 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 3 Feb 2010 00:15:15 +0000 (00:15 +0000)
commitb905fa5289877aabf16b6014759da7661d096ff4
tree296034260dd02c87890fef4de679caf18b6aa2b6tree
parent22fbd5227bed7bf52c78689e4de12e0de6f70b7ecommit | diff
some more tests for the context.
test/regress/Makefile.am diff | blob | history
test/unit/Makefile.am diff | blob | history
test/unit/context/context_black.h diff | blob | history
test/unit/context/context_mm_black.h [new file with mode: 0644] blob