diff options
Diffstat (limited to 'util/lamport/lamport_test.go')
-rw-r--r-- | util/lamport/lamport_test.go | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/util/lamport/lamport_test.go b/util/lamport/lamport_test.go new file mode 100644 index 00000000..c650fe6a --- /dev/null +++ b/util/lamport/lamport_test.go @@ -0,0 +1,66 @@ +/* + + This Source Code Form is subject to the terms of the Mozilla Public + License, v. 2.0. If a copy of the MPL was not distributed with this file, + You can obtain one at http://mozilla.org/MPL/2.0/. + + Copyright (c) 2013, Armon Dadgar armon.dadgar@gmail.com + Copyright (c) 2013, Mitchell Hashimoto mitchell.hashimoto@gmail.com + + Alternatively, the contents of this file may be used under the terms + of the GNU General Public License Version 3 or later, as described below: + + This file is free software: you may copy, redistribute and/or modify + it under the terms of the GNU General Public License as published by the + Free Software Foundation, either version 3 of the License, or (at your + option) any later version. + + This file is distributed in the hope that it will be useful, but + WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General + Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see http://www.gnu.org/licenses/. + +*/ + +package lamport + +import ( + "testing" +) + +func TestClock(t *testing.T) { + l := &Clock{} + + if l.Time() != 0 { + t.Fatalf("bad time value") + } + + if l.Increment() != 0 { + t.Fatalf("bad time value") + } + + if l.Time() != 1 { + t.Fatalf("bad time value") + } + + l.Witness(41) + + if l.Time() != 42 { + t.Fatalf("bad time value") + } + + l.Witness(41) + + if l.Time() != 42 { + t.Fatalf("bad time value") + } + + l.Witness(30) + + if l.Time() != 42 { + t.Fatalf("bad time value") + } +} |