[darcs-devel] [patch2001] tests: merge checking

Ganesh Sittampalam bugs at darcs.net
Sun Feb 23 12:15:28 UTC 2020


New submission from Ganesh Sittampalam <ganesh at earth.li>:

The first patch in this bundle is being discussed in
patch1979, if it doesn't get screened I'll need to rebase
the main patch.

This is another piece of generic infrastructure I realised
I needed while writing unwind tests. In fact it might
well be needed for the other tests that now use
MergeableSequence, if they are run with a high QC count.

I'd appreciate a quick comment on whether it's ok to
screen.

2 patches for repository darcs-unstable at darcs.net:screened:

patch b043d8bcbbe106224a90148480f9735ab0bfefc3
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Sun Feb 23 10:58:34 GMT 2020
  * tests: always use prim patches for generating/shrinking
  
  We already didn't try to generate conflicted patches, and
  even shrinking unconflicted patches is actually unsound if
  there might be a conflict later in a sequence.
  
  Instead of needing partial functions on repo patches, it's
  better to express this invariant in the types by only storing
  prim patches, and generating the repo patches on the fly
  when actually using the test cases.
  

patch ba02c674facfc9dfc826adc1eb8509e07fe010c0
Author: Ganesh Sittampalam <ganesh at earth.li>
Date:   Sun Feb 23 12:06:59 GMT 2020
  * tests: introduce infrastructure for merge checking
  
  Because V1 and V2 patches are known to be buggy, we
  sometimes need to exclude buggy merges when using them
  to test other properties.

----------
files: patch-preview.txt, tests_-always-use-prim-patches-for-generating_shrinking.dpatch, unnamed
messages: 21888
nosy: ganesh
status: needs-screening
title: tests: merge checking

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch2001>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 23466 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20200223/215de8c6/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tests_-always-use-prim-patches-for-generating_shrinking.dpatch
Type: application/x-darcs-patch
Size: 44292 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20200223/215de8c6/attachment-0003.bin>
-------------- next part --------------
.





More information about the darcs-devel mailing list