Method |
Description |
|
Must_correctly_merge_two_clocks ( ) : void |
|
|
Must_correctly_merge_two_disjoint_vector_clocks ( ) : void |
|
|
Must_have_zero_versions_when_created ( ) : void |
|
|
Must_not_happen_before_itself ( ) : void |
|
|
Must_pass_blank_clock_incrementing ( ) : void |
|
|
Must_pass_merging_behavior ( ) : void |
|
|
Must_pass_misc_comparison_test1 ( ) : void |
|
|
Must_pass_misc_comparison_test2 ( ) : void |
|
|
Must_pass_misc_comparison_test3 ( ) : void |
|
|
Must_pass_misc_comparison_test4 ( ) : void |
|
|
Must_pass_misc_comparison_test5 ( ) : void |
|
|
Must_pass_misc_comparison_test6 ( ) : void |
|
|
Must_pass_misc_comparison_test7 ( ) : void |
|
|
Must_pass_misc_comparison_test8 ( ) : void |
|
|