darcs

Patch 1831 additions and cleanups in the test harness

Title additions and cleanups in the test harness
Superseder Nosy List bf
Related Issues
Status needs-review Assigned To
Milestone

Created on 2019-06-15.10:13:29 by bf, last changed 2019-06-15.10:13:56 by bf.

Files
File name Status Uploaded Type Edit Remove
fold-partialpermutivity-into-permutivity-property.dpatch bf, 2019-06-15.10:13:29 application/x-darcs-patch
patch-preview.txt bf, 2019-06-15.10:13:29 text/x-darcs-patch
unnamed bf, 2019-06-15.10:13:29 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg20826 (view) Author: bf Date: 2019-06-15.10:13:29
Most of these are not or only weakly related to the v3 changes.

7 patches for repository /home/ben/src/darcs/without-v3:

patch 964b37023032a7405527cbf429de569db669a192
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat Feb 23 10:46:47 CET 2019
  * fold partialPermutivity into permutivity property

patch 0c5d7571d3f67fb78c470b6c068414dc0ecc1ada
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat Feb 23 10:53:55 CET 2019
  * fold partialCommuteInverses into property commuteInverses

patch 7f00dd7af4caa3ef34dac5435cd403a5a8ac5601
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Feb 25 11:15:44 CET 2019
  * harness: remove qc_V2P1 and qc_V3P1
  
  The properties listed therein do not in any way depend on the prim patch
  being V1. So I generalized the signatures and moved the tests to qc_V2 and
  qc_V3, respectively.

patch 2b6d20c8ce467b70be0f195908f68a7701738485
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Feb 25 15:29:21 CET 2019
  * simplify type signatures in D.T.P.Properties.Generic

patch 6a5ff3ce98c15a9ba01a0cfdb104faba3da0aa01
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Feb 26 10:13:01 CET 2019
  * harness: minor code cleanups

patch 09b0e70b01a5da9362b4c5714d87a93b7697be30
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Feb 25 10:15:04 CET 2019
  * move v3 repo properties to harness
  
  This is so we can use Darcs.Test.Util.TestResult and give better output when
  testing the property fails.

patch 778f90783c8a7ad396efc6a8c3fdd9fd3cbc40c7
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Feb 26 10:34:18 CET 2019
  * harness: more detailed fail output for some properties
Attachments
History
Date User Action Args
2019-06-15 10:13:29bfcreate
2019-06-15 10:13:56bfsetstatus: needs-screening -> needs-review