#1040 (Aug 4, 2017, 12:29:15 AM)

1. pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better (detail / hgweb)
2. updated CVC4 component to official 1.5 release (detail / hgweb)
3. merged (detail / hgweb)
4. eliminated more "guess", etc. (detail / hgweb)
5. merged (detail / hgweb)
6. more tidying (detail / hgweb)
7. more tidying up (detail / hgweb)
8. merged (detail / hgweb)
9. merged (detail / hgweb)
10. removed all "guess" (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 3 hr 10 min build duration;
• 3 hr 15 min total from scheduled to completion.