Enable test-harness export by default
Original issue created by @PhilippWendler on 2017-07-21 at 14:57:20, last modified on 2017-07-21 at 15:05:46
Exporting test harnesses (option counterexample.export.exportHarness=true
) is a generally useful feature, not only in the case of witness validation, and should be enabled by default.
Are there any improvements that need to be implemented before this feature is useful enough to be enabled by default?