Patch 1846 improved test case generator for RepoPatches (and some more)

Title improved test case generator for RepoPatches (and some more)
Superseder Nosy List bf
Related Issues
Status needs-review Assigned To

Created on 2019-07-07.14:26:31 by bf, last changed 2019-07-07.16:08:45 by bf.

File name Status Uploaded Type Edit Remove
harness_-move-nontrivialx-conditions-to-d_t_p_a_generic-and-remove-dead-code.dpatch bf, 2019-07-07.14:26:31 application/x-darcs-patch
patch-preview.txt bf, 2019-07-07.14:26:31 text/x-darcs-patch
unnamed bf, 2019-07-07.14:26:31 text/plain
See mailing list archives for discussion on individual patches.
msg20888 (view) Author: bf Date: 2019-07-07.14:26:31
Okay, here is the long promised improved test case generator for
RepoPatches, together with a few other improvements to the test harness.

10 patches for repository http://darcs.net/screened:

patch b5f82f0bd3b4a6c02d4f5ca39a86b1ee876da43a
Author: Ben Franksen <ben.franksen@online.de>
Date:   Fri Jun 21 21:47:26 CEST 2019
  * harness: move nontrivialX conditions to D.T.P.A.Generic and remove dead code

patch 94f6ecd73fa1a64c7d6713e47c74e8e5a0f2a3b7
Author: Ben Franksen <ben.franksen@online.de>
Date:   Fri Jun 21 15:41:36 CEST 2019
  * harness: remove a dirty hack from patch tree generators
  This re-adds a slightly modified version of sizeTree which we use to
  calculate the number of pairs in a flattened Tree.

patch 075808841224ddd930f041c723ae21ede6bb723e
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Jul  7 10:16:26 CEST 2019
  * harness: make sure once and for all that generated Trees have enough patches

patch 846bc17be395d01b82257f66aedfadf187caafb5
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Jul  7 10:15:44 CEST 2019
  * harness: minor cleanups in D.T.P.A.Generic

patch 47cc5a8ba40f7b43e8611678d8f5949f578b7ac4
Author: Ben Franksen <ben.franksen@online.de>
Date:   Fri Jun 28 10:43:09 CEST 2019
  * harness: make encoding roundtrip test faster

patch d3cf9a7597b52a79209afe80ee12d9778637ce84
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Jul  7 08:43:00 CEST 2019
  * harness: treat empty hunks specially in checkPatch
  See the comment in the code. I wonder why this hasn't come up earlier.

patch b0a689417ade345d2f7b60e7d8969439a96d5710
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Jul  7 10:00:51 CEST 2019
  * harness: remove code we no longer need

patch 5f2996bf7f298c8445740f9fe847fc046dbfd17c
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Jul  7 10:00:08 CEST 2019
  * harness: never generate empty hunks

patch 08d6977bb518bca5024ecad7e87fc6fd29055d79
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Jun 24 08:30:22 CEST 2019
  * improved test case generator for RepoPatches
  We previously generated RepoPatches by merging prims from a Tree. While this
  generates conflictors, it never generates sequences where a patch depends on
  a conflictor. The new generator (which can only be used for patch types that
  have a Merge instance i.e. not prims) directly generates an RL of patches,
  making sure we cover all possible cases.

patch 39f81cf1b5ebc727677b74fe97e20578af520f2f
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Jul  4 22:22:53 CEST 2019
  * harness: limit number of flattenings in propConsistentTreeFlattenings
  The number of flattenings grows exponentially in the worst case, so this
  helps to keep the test reasonably efficient even if we crank up the number
  of QC tests.
Date User Action Args
2019-07-07 14:26:31bfcreate
2019-07-07 16:08:45bfsetstatus: needs-screening -> needs-review