#839 (Jan 11, 2019, 12:50:06 AM)

1. restored test_code for GHC, which got accidentally broken in ef02c5e051e5 (detail / hgweb)
2. restored quickcheck/narrowing, which got accidentally broken in ef02c5e051e5 (detail / hgweb)
3. optional code export as theory export (detail / hgweb)
4. explicit model concerning files of generated code (detail / hgweb)

Started by an SCM change

This run spent:

• 5.6 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.