projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab89928) | patch
Test portfolio with --no-wait-to-join.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 13:56:39 +0000 (09:56 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 13:56:39 +0000 (09:56 -0400)
commit8b56004ee8bf6c34aaf045bec12bf0e4401a044c
treefa7caf53d7a1cd0c86d1830f870616571538a2e7tree
parentab899289527d25f1ea531fb1c3d84e06c7ebb5a3commit | diff
Test portfolio with --no-wait-to-join.
.travis.yml diff | blob | history
Makefile diff | blob | history