// stm: #unit package main import ( "math" "testing" "github.com/filecoin-project/go-state-types/abi" "github.com/filecoin-project/lotus/build" ) func TestProtocolCodenames(t *testing.T) { //stm: @OTHER_IMPLEMENTATION_EPOCH_CODENAMES_001 if height := abi.ChainEpoch(100); GetProtocolCodename(height) != "genesis" { t.Fatal("expected genesis codename") } if height := abi.ChainEpoch(build.UpgradeBreezeHeight + 1); GetProtocolCodename(height) != "breeze" { t.Fatal("expected breeze codename") } if height := build.UpgradeAssemblyHeight + 1; GetProtocolCodename(abi.ChainEpoch(height)) != "actorsv2" { t.Fatal("expected actorsv2 codename") } if height := abi.ChainEpoch(math.MaxInt64); GetProtocolCodename(height) != ProtocolCodenames[len(ProtocolCodenames)-1].name { t.Fatal("expected last codename") } }