projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1fb2fda) | patch
Allow parallel failures when building competition version (they are spurious).
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 13 Jun 2014 05:31:18 +0000 (01:31 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 13 Jun 2014 05:31:18 +0000 (01:31 -0400)
commit0cbff62b9ef98665860ccb5b4167d2e46396019b
tree174708e7aa64edf9f4095b69b1f628039b4bf9bdtree
parent1fb2fdaad36fa6c2a7d7b9ead2914b8779280781commit | diff
Allow parallel failures when building competition version (they are spurious).
Makefile diff | blob | history