darcs

Patch 2102 two bugfixes in the PrimV1 shrinker

Title two bugfixes in the PrimV1 shrinker
Superseder Nosy List bf
Related Issues
Status accepted Assigned To
Milestone

Created on 2020-09-23.10:23:28 by bf, last changed 2020-10-16.20:33:01 by ganesh.

Files
File name Status Uploaded Type Edit Remove
patch-preview.txt bf, 2020-09-23.10:23:27 text/x-darcs-patch
two-bugfixes-in-the-primv1-shrinker.dpatch bf, 2020-09-23.10:23:27 application/x-darcs-patch
unnamed bf, 2020-09-23.10:23:27 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg22452 (view) Author: bf Date: 2020-09-23.10:23:27
These came up while I played with extended RepoPatchV3 properties.
They both lead to crashes of the shrinker when a property fails.

1 patch for repository http://darcs.net/screened:

patch b0a1c375fe329928f34f81a879200aff2e7ac4a0
Author: Ben Franksen <ben.franksen@online.de>
Date:   Wed Sep 23 12:33:09 CEST 2020
  * two bugfixes in the PrimV1 shrinker
Attachments
msg22463 (view) Author: ganesh Date: 2020-10-16.19:07:07
Makes sense
History
Date User Action Args
2020-09-23 10:23:28bfcreate
2020-09-23 10:24:03bfsetstatus: needs-screening -> needs-review
2020-10-16 19:07:07ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg22463
2020-10-16 20:33:01ganeshsetstatus: accepted-pending-tests -> accepted