Started 2 days 14 hr ago
Took 1 hr 36 min on master

Failed Build #390 (Jun 27, 2017 3:33:08 AM)

Changes
  1. parse length-0 enums as well in Nunchaku (detail / hgweb)
  2. extended and renamed Nunchaku's Kodkod bounds (detail / hgweb)
  3. repaired Nunchaku cache handing (detail / hgweb)
  4. added Kodkod-specific options to Nunchaku (detail / hgweb)
  5. tuning (detail / hgweb)
  6. better model parsing and display in Nunchaku (detail / hgweb)
  7. properly parenthesize copy types in Nunchaku (detail / hgweb)
  8. proper Bash escaping (detail / hgweb)
  9. more precise output for Nunchaku (detail / hgweb)
  10. added singular 'solver' option to Nunchaku (detail / hgweb)
  11. got rid of unsound and needless beta-reduction in Nunchaku frontend (detail / hgweb)
  12. tuned Nunchaku's output (detail / hgweb)
  13. updated parser for Nunchaku irrelevant output (detail / hgweb)
  14. use proper syntax with nunchaku tool (detail / hgweb)
  15. moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years (detail / hgweb)

Started by an SCM change

This run spent:

  • 5.2 sec waiting in the queue;
  • 1 hr 36 min building on an executor;
  • 1 hr 36 min total from scheduled to completion.
Revision: 545d8725ff55890a0a133e152941756b982af7fb
Resume build
[Phase] - main
testboard-makeallbuild #390( 1 hr 1 min ) Console Output
testboard-afpbuild #390( 1 hr 36 min ) Console Output