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 accepted Assigned To
Milestone

Created on 2019-06-15.10:13:29 by bf, last changed 2019-07-27.17:59:51 by ganesh.

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
msg20971 (view) Author: ganesh Date: 2019-07-27.15:00:19
> patch 964b37023032a7405527cbf429de569db669a192
> Author: Ben Franksen <ben.franksen@online.de>
> Date:   Sat Feb 23 10:46:47 CET 2019
>   * fold partialPermutivity into permutivity property

OK

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

OK

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

OK

> patch 09b0e70b01a5da9362b4c5714d87a93b7697be30
> Author: Ben Franksen <ben.franksen@online.de>
> Date:   Mon Feb 25 10:15:04 CET 2019
>   * move v3 repo properties to harness
OK 
> 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

OK
History
Date User Action Args
2019-06-15 10:13:29bfcreate
2019-06-15 10:13:56bfsetstatus: needs-screening -> needs-review
2019-07-27 15:00:19ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg20971
2019-07-27 17:59:51ganeshsetstatus: accepted-pending-tests -> accepted