0a9da2c · rachel/specter

Commit Detail

Commit 0a9da2c

Author: Rachel Chen <rachel@chens.email> 2023-01-30 17:13:56 -0800
Parents: 3c722df
Tree: 9bb944c

spec/chord: verify assumptions

Files changed

2 files changed+1 added~1 modified

Aspec/chord/chord_test.go

Mspec/chord/state.go