Mentions légales du service

Skip to content

Negative timestamp violate invariants

When adding negative timestamps into version vectors implicitly assumed invariants get violated. E.g. inserting a negative timestamp into an empty vv, yields an empty vv.

Suggested fix: We should either use UInt, or maybe start the counter in the SimpleEnv at Int.MIN_VALUE to increase the number of possibly generated Timestamps and fix the version vector accordingly.

Check the property tests for failing test cases. (We should probably also add a unit test case to cover negative counter values.)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information