[darcs-devel] [issue2587] proposal: "darcs check --hard" (or --invariants)

Guillaume Hoffmann bugs at darcs.net
Sun Apr 22 23:39:39 UTC 2018


New submission from Guillaume Hoffmann <guillaumh at gmail.com>:

We could have a "darcs check --hard" command that would check hard (as
in cuadradic time or above) invariants of the current repo, like:

1. no duplicate PatchInfo (Inspired by http://bugs.darcs.net/issue1868)
2. more stuff that is not tested/known to be implemented by current
patch-related code?
2. more properties about hashed files? (no cycle?)

----------
messages: 20126
nosy: gh
priority: wishlist
status: unknown
title: proposal: "darcs check --hard" (or --invariants)

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2587>
__________________________________


More information about the darcs-devel mailing list