projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b056f95) | 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:59:42 +0000 (09:59 -0400)
commit21178e5599464d9d0569ff7989fad9517dd92419
treeaa713b9c0cfdb0ca2fbddb72f9936b885e978fd0tree
parentb056f956035efca5729db7be3e96a32a8c669668commit | diff
Test portfolio with --no-wait-to-join.
.travis.yml diff | blob | history
Makefile diff | blob | history