Updates:
Status: Fixed
Comment #2 on issue 872 by [email protected]: Create 'Arbitrary MultiMap'
instance by composing all possible exported functions from the module
http://code.google.com/p/ganeti/issues/detail?id=872
commit 9b267794d3b41371428fdcff77ccb70c5fb94eeb
Author: Klaus Aehlig <[email protected]>
Date: Thu Jul 10 12:38:29 2014 +0200
Arbitrary MultiMap from all exported Constructors
Change the way MultiMap is an instance of Arbitrary to
be a random term of the exported functions. In this way,
we really obtain a sample of all values of type MultiMap
that are definable outside the module. In particular, we
verify that all invariants of the implementation are preserved
over all exported functions. This renders the extensionality
test meaningful.
Signed-off-by: Klaus Aehlig <[email protected]>
Reviewed-by: Petr Pudlak <[email protected]>
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
