Is D's TimSort correct?
ketmar via Digitalmars-d
digitalmars-d at puremagic.com
Tue Feb 24 12:32:08 PST 2015
On Tue, 24 Feb 2015 11:48:37 -0800, Ali Çehreli wrote:
> I was going to suggest dmd's code coverage tool but I've just witnessed
> the problem first-hand: Uninstantiated template code is not visible to
> the coverage analyser! :-o
yes. i don't think that this is a bug, though: coverage analyser analyses
only actually existing code, and non-instantiated template is
inexisting. ;-)
and forcing compiler to instantiate all possible template variants is
both impractical and not even possible, i think.
yet symbolic checker like KeY can be very handy here, i think. it can
prove that some instantiations are effectively the same, for example.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: not available
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20150224/2128bbcf/attachment.sig>
More information about the Digitalmars-d
mailing list