2022-08-29 14:25:30 +00:00
|
|
|
// stm: #unit
|
2019-09-05 07:40:50 +00:00
|
|
|
package events
|
2019-09-03 17:45:55 +00:00
|
|
|
|
|
|
|
import (
|
2019-09-18 11:01:52 +00:00
|
|
|
"context"
|
2019-09-03 17:45:55 +00:00
|
|
|
"fmt"
|
2020-05-13 22:48:36 +00:00
|
|
|
"sync"
|
2019-09-05 07:40:50 +00:00
|
|
|
"testing"
|
2019-09-27 23:55:15 +00:00
|
|
|
|
2019-09-03 17:45:55 +00:00
|
|
|
"github.com/ipfs/go-cid"
|
2019-09-04 18:56:06 +00:00
|
|
|
"github.com/multiformats/go-multihash"
|
2019-09-03 17:45:55 +00:00
|
|
|
"github.com/stretchr/testify/require"
|
2022-06-14 15:00:51 +00:00
|
|
|
"gotest.tools/assert"
|
2019-09-05 07:40:50 +00:00
|
|
|
|
2019-12-19 20:13:17 +00:00
|
|
|
"github.com/filecoin-project/go-address"
|
2020-09-07 03:49:10 +00:00
|
|
|
"github.com/filecoin-project/go-state-types/abi"
|
|
|
|
"github.com/filecoin-project/go-state-types/crypto"
|
2020-05-13 22:48:36 +00:00
|
|
|
|
|
|
|
"github.com/filecoin-project/lotus/api"
|
2019-10-18 04:47:41 +00:00
|
|
|
"github.com/filecoin-project/lotus/build"
|
2020-05-13 22:48:36 +00:00
|
|
|
"github.com/filecoin-project/lotus/chain/store"
|
2019-10-18 04:47:41 +00:00
|
|
|
"github.com/filecoin-project/lotus/chain/types"
|
2019-09-03 17:45:55 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
var dummyCid cid.Cid
|
|
|
|
|
|
|
|
func init() {
|
|
|
|
dummyCid, _ = cid.Parse("bafkqaaa")
|
|
|
|
}
|
|
|
|
|
|
|
|
type fakeMsg struct {
|
|
|
|
bmsgs []*types.Message
|
|
|
|
smsgs []*types.SignedMessage
|
|
|
|
}
|
|
|
|
|
|
|
|
type fakeCS struct {
|
|
|
|
t *testing.T
|
2020-02-10 19:16:36 +00:00
|
|
|
h abi.ChainEpoch
|
2019-09-03 17:45:55 +00:00
|
|
|
tsc *tipSetCache
|
|
|
|
|
2019-09-18 11:45:52 +00:00
|
|
|
msgs map[cid.Cid]fakeMsg
|
|
|
|
blkMsgs map[cid.Cid]cid.Cid
|
2019-09-03 17:45:55 +00:00
|
|
|
|
2020-05-13 22:48:36 +00:00
|
|
|
tipsets map[types.TipSetKey]*types.TipSet
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
mu sync.Mutex
|
|
|
|
waitSub chan struct{}
|
|
|
|
subCh chan<- []*api.HeadChange
|
|
|
|
callNumber map[string]int
|
2019-09-03 17:45:55 +00:00
|
|
|
}
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
func newFakeCS(t *testing.T) *fakeCS {
|
|
|
|
fcs := &fakeCS{
|
|
|
|
t: t,
|
|
|
|
h: 1,
|
|
|
|
msgs: make(map[cid.Cid]fakeMsg),
|
|
|
|
blkMsgs: make(map[cid.Cid]cid.Cid),
|
|
|
|
tipsets: make(map[types.TipSetKey]*types.TipSet),
|
|
|
|
tsc: newTSCache(nil, 2*build.ForkLengthThreshold),
|
|
|
|
callNumber: map[string]int{},
|
2021-08-10 05:15:38 +00:00
|
|
|
waitSub: make(chan struct{}),
|
2021-08-04 00:10:30 +00:00
|
|
|
}
|
|
|
|
require.NoError(t, fcs.tsc.add(fcs.makeTs(t, nil, 1, dummyCid)))
|
|
|
|
return fcs
|
|
|
|
}
|
|
|
|
|
2020-09-07 12:43:06 +00:00
|
|
|
func (fcs *fakeCS) ChainHead(ctx context.Context) (*types.TipSet, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Lock()
|
|
|
|
defer fcs.mu.Unlock()
|
2021-07-15 06:47:28 +00:00
|
|
|
fcs.callNumber["ChainHead"] = fcs.callNumber["ChainHead"] + 1
|
2020-09-07 12:43:06 +00:00
|
|
|
panic("implement me")
|
|
|
|
}
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
func (fcs *fakeCS) ChainGetPath(ctx context.Context, from, to types.TipSetKey) ([]*api.HeadChange, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Lock()
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs.callNumber["ChainGetPath"] = fcs.callNumber["ChainGetPath"] + 1
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Unlock()
|
|
|
|
|
|
|
|
fromTs, err := fcs.ChainGetTipSet(ctx, from)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
toTs, err := fcs.ChainGetTipSet(ctx, to)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
// copied from the chainstore
|
2021-12-14 15:49:34 +00:00
|
|
|
revert, apply, err := store.ReorgOps(ctx, func(ctx context.Context, tsk types.TipSetKey) (*types.TipSet, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
return fcs.ChainGetTipSet(ctx, tsk)
|
|
|
|
}, fromTs, toTs)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
path := make([]*api.HeadChange, len(revert)+len(apply))
|
|
|
|
for i, r := range revert {
|
|
|
|
path[i] = &api.HeadChange{Type: store.HCRevert, Val: r}
|
|
|
|
}
|
|
|
|
for j, i := 0, len(apply)-1; i >= 0; j, i = j+1, i-1 {
|
|
|
|
path[j+len(revert)] = &api.HeadChange{Type: store.HCApply, Val: apply[i]}
|
|
|
|
}
|
|
|
|
return path, nil
|
2021-08-04 00:10:30 +00:00
|
|
|
}
|
|
|
|
|
2020-05-13 22:48:36 +00:00
|
|
|
func (fcs *fakeCS) ChainGetTipSet(ctx context.Context, key types.TipSetKey) (*types.TipSet, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Lock()
|
|
|
|
defer fcs.mu.Unlock()
|
2021-07-15 06:47:28 +00:00
|
|
|
fcs.callNumber["ChainGetTipSet"] = fcs.callNumber["ChainGetTipSet"] + 1
|
2020-05-13 22:48:36 +00:00
|
|
|
return fcs.tipsets[key], nil
|
|
|
|
}
|
|
|
|
|
2021-04-05 17:56:53 +00:00
|
|
|
func (fcs *fakeCS) StateSearchMsg(ctx context.Context, from types.TipSetKey, msg cid.Cid, limit abi.ChainEpoch, allowReplaced bool) (*api.MsgLookup, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Lock()
|
|
|
|
defer fcs.mu.Unlock()
|
2021-07-15 06:47:28 +00:00
|
|
|
fcs.callNumber["StateSearchMsg"] = fcs.callNumber["StateSearchMsg"] + 1
|
2019-11-19 21:27:25 +00:00
|
|
|
return nil, nil
|
|
|
|
}
|
|
|
|
|
2020-02-11 23:29:45 +00:00
|
|
|
func (fcs *fakeCS) StateGetActor(ctx context.Context, actor address.Address, tsk types.TipSetKey) (*types.Actor, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Lock()
|
|
|
|
defer fcs.mu.Unlock()
|
2021-07-15 06:47:28 +00:00
|
|
|
fcs.callNumber["StateGetActor"] = fcs.callNumber["StateGetActor"] + 1
|
2019-11-19 21:27:25 +00:00
|
|
|
panic("Not Implemented")
|
|
|
|
}
|
|
|
|
|
2020-02-24 17:32:02 +00:00
|
|
|
func (fcs *fakeCS) ChainGetTipSetByHeight(context.Context, abi.ChainEpoch, types.TipSetKey) (*types.TipSet, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Lock()
|
|
|
|
defer fcs.mu.Unlock()
|
2021-07-15 06:47:28 +00:00
|
|
|
fcs.callNumber["ChainGetTipSetByHeight"] = fcs.callNumber["ChainGetTipSetByHeight"] + 1
|
2019-09-18 13:32:21 +00:00
|
|
|
panic("Not Implemented")
|
|
|
|
}
|
2021-08-04 00:10:30 +00:00
|
|
|
func (fcs *fakeCS) ChainGetTipSetAfterHeight(context.Context, abi.ChainEpoch, types.TipSetKey) (*types.TipSet, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Lock()
|
|
|
|
defer fcs.mu.Unlock()
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs.callNumber["ChainGetTipSetAfterHeight"] = fcs.callNumber["ChainGetTipSetAfterHeight"] + 1
|
|
|
|
panic("Not Implemented")
|
|
|
|
}
|
2019-09-18 13:32:21 +00:00
|
|
|
|
2020-05-13 22:48:36 +00:00
|
|
|
func (fcs *fakeCS) makeTs(t *testing.T, parents []cid.Cid, h abi.ChainEpoch, msgcid cid.Cid) *types.TipSet {
|
2019-10-14 11:53:20 +00:00
|
|
|
a, _ := address.NewFromString("t00")
|
2019-11-08 20:25:02 +00:00
|
|
|
b, _ := address.NewFromString("t02")
|
2019-12-02 12:51:16 +00:00
|
|
|
var ts, err = types.NewTipSet([]*types.BlockHeader{
|
2019-09-03 17:45:55 +00:00
|
|
|
{
|
|
|
|
Height: h,
|
2019-10-14 11:53:20 +00:00
|
|
|
Miner: a,
|
2019-09-03 17:45:55 +00:00
|
|
|
|
2020-05-13 22:48:36 +00:00
|
|
|
Parents: parents,
|
|
|
|
|
2019-12-02 12:51:16 +00:00
|
|
|
Ticket: &types.Ticket{VRFProof: []byte{byte(h % 2)}},
|
2019-11-08 20:25:02 +00:00
|
|
|
|
|
|
|
ParentStateRoot: dummyCid,
|
|
|
|
Messages: msgcid,
|
|
|
|
ParentMessageReceipts: dummyCid,
|
2019-11-19 15:51:12 +00:00
|
|
|
|
2020-02-25 21:09:22 +00:00
|
|
|
BlockSig: &crypto.Signature{Type: crypto.SigTypeBLS},
|
2020-03-21 22:25:00 +00:00
|
|
|
BLSAggregate: &crypto.Signature{Type: crypto.SigTypeBLS},
|
2019-11-08 20:25:02 +00:00
|
|
|
},
|
|
|
|
{
|
|
|
|
Height: h,
|
|
|
|
Miner: b,
|
|
|
|
|
2020-05-13 22:48:36 +00:00
|
|
|
Parents: parents,
|
|
|
|
|
2019-12-02 12:51:16 +00:00
|
|
|
Ticket: &types.Ticket{VRFProof: []byte{byte((h + 1) % 2)}},
|
2019-11-08 20:25:02 +00:00
|
|
|
|
2019-09-27 23:55:15 +00:00
|
|
|
ParentStateRoot: dummyCid,
|
|
|
|
Messages: msgcid,
|
|
|
|
ParentMessageReceipts: dummyCid,
|
2019-11-19 15:51:12 +00:00
|
|
|
|
2020-02-25 21:09:22 +00:00
|
|
|
BlockSig: &crypto.Signature{Type: crypto.SigTypeBLS},
|
2020-03-21 22:25:00 +00:00
|
|
|
BLSAggregate: &crypto.Signature{Type: crypto.SigTypeBLS},
|
2019-09-03 17:45:55 +00:00
|
|
|
},
|
|
|
|
})
|
|
|
|
|
2023-04-14 00:20:34 +00:00
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
fcs.mu.Lock()
|
|
|
|
defer fcs.mu.Unlock()
|
|
|
|
|
2020-05-13 22:48:36 +00:00
|
|
|
if fcs.tipsets == nil {
|
|
|
|
fcs.tipsets = map[types.TipSetKey]*types.TipSet{}
|
|
|
|
}
|
|
|
|
fcs.tipsets[ts.Key()] = ts
|
|
|
|
|
2019-09-03 17:45:55 +00:00
|
|
|
return ts
|
|
|
|
}
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
func (fcs *fakeCS) ChainNotify(ctx context.Context) (<-chan []*api.HeadChange, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Lock()
|
|
|
|
defer fcs.mu.Unlock()
|
2021-07-15 06:47:28 +00:00
|
|
|
fcs.callNumber["ChainNotify"] = fcs.callNumber["ChainNotify"] + 1
|
|
|
|
|
2020-04-23 22:53:24 +00:00
|
|
|
out := make(chan []*api.HeadChange, 1)
|
2021-08-10 05:15:38 +00:00
|
|
|
if fcs.subCh != nil {
|
|
|
|
close(out)
|
|
|
|
fcs.t.Error("already subscribed to notifications")
|
|
|
|
return out, nil
|
|
|
|
}
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
best, err := fcs.tsc.ChainHead(ctx)
|
2020-09-07 12:43:06 +00:00
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
2019-09-18 11:01:52 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
out <- []*api.HeadChange{{Type: store.HCCurrent, Val: best}}
|
|
|
|
fcs.subCh = out
|
|
|
|
close(fcs.waitSub)
|
2019-09-03 17:45:55 +00:00
|
|
|
|
2019-09-18 11:01:52 +00:00
|
|
|
return out, nil
|
2019-09-03 17:45:55 +00:00
|
|
|
}
|
|
|
|
|
2019-09-18 11:45:52 +00:00
|
|
|
func (fcs *fakeCS) ChainGetBlockMessages(ctx context.Context, blk cid.Cid) (*api.BlockMessages, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.mu.Lock()
|
|
|
|
defer fcs.mu.Unlock()
|
2021-07-15 06:47:28 +00:00
|
|
|
fcs.callNumber["ChainGetBlockMessages"] = fcs.callNumber["ChainGetBlockMessages"] + 1
|
2019-09-18 11:45:52 +00:00
|
|
|
messages, ok := fcs.blkMsgs[blk]
|
|
|
|
if !ok {
|
|
|
|
return &api.BlockMessages{}, nil
|
|
|
|
}
|
|
|
|
|
2019-09-18 11:01:52 +00:00
|
|
|
ms, ok := fcs.msgs[messages]
|
2019-09-18 11:45:52 +00:00
|
|
|
if !ok {
|
|
|
|
return &api.BlockMessages{}, nil
|
2019-09-03 17:45:55 +00:00
|
|
|
}
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
cids := make([]cid.Cid, len(ms.bmsgs)+len(ms.smsgs))
|
|
|
|
for i, m := range ms.bmsgs {
|
|
|
|
cids[i] = m.Cid()
|
|
|
|
}
|
|
|
|
for i, m := range ms.smsgs {
|
|
|
|
cids[i+len(ms.bmsgs)] = m.Cid()
|
|
|
|
}
|
|
|
|
|
|
|
|
return &api.BlockMessages{BlsMessages: ms.bmsgs, SecpkMessages: ms.smsgs, Cids: cids}, nil
|
2019-09-03 17:45:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
func (fcs *fakeCS) fakeMsgs(m fakeMsg) cid.Cid {
|
|
|
|
n := len(fcs.msgs)
|
|
|
|
c, err := cid.Prefix{
|
|
|
|
Version: 1,
|
|
|
|
Codec: cid.Raw,
|
|
|
|
MhType: multihash.IDENTITY,
|
|
|
|
MhLength: -1,
|
|
|
|
}.Sum([]byte(fmt.Sprintf("%d", n)))
|
|
|
|
require.NoError(fcs.t, err)
|
|
|
|
|
|
|
|
fcs.msgs[c] = m
|
|
|
|
return c
|
|
|
|
}
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
func (fcs *fakeCS) dropSub() {
|
|
|
|
fcs.mu.Lock()
|
|
|
|
|
|
|
|
if fcs.subCh == nil {
|
|
|
|
fcs.mu.Unlock()
|
2019-09-03 17:45:55 +00:00
|
|
|
fcs.t.Fatal("sub not be nil")
|
|
|
|
}
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
waitCh := make(chan struct{})
|
|
|
|
fcs.waitSub = waitCh
|
|
|
|
close(fcs.subCh)
|
|
|
|
fcs.subCh = nil
|
|
|
|
fcs.mu.Unlock()
|
|
|
|
|
|
|
|
<-waitCh
|
|
|
|
}
|
|
|
|
|
|
|
|
func (fcs *fakeCS) sub(rev, app []*types.TipSet) {
|
|
|
|
<-fcs.waitSub
|
|
|
|
notif := make([]*api.HeadChange, len(rev)+len(app))
|
|
|
|
|
|
|
|
for i, r := range rev {
|
|
|
|
notif[i] = &api.HeadChange{
|
|
|
|
Type: store.HCRevert,
|
|
|
|
Val: r,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
for i, r := range app {
|
|
|
|
notif[i+len(rev)] = &api.HeadChange{
|
|
|
|
Type: store.HCApply,
|
|
|
|
Val: r,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fcs.subCh <- notif
|
|
|
|
}
|
|
|
|
|
|
|
|
func (fcs *fakeCS) advance(rev, app, drop int, msgs map[int]cid.Cid, nulls ...int) {
|
2021-08-04 00:10:30 +00:00
|
|
|
ctx, cancel := context.WithCancel(context.Background())
|
|
|
|
defer cancel()
|
|
|
|
|
2019-10-04 22:43:04 +00:00
|
|
|
nullm := map[int]struct{}{}
|
|
|
|
for _, v := range nulls {
|
|
|
|
nullm[v] = struct{}{}
|
|
|
|
}
|
|
|
|
|
2019-09-03 17:45:55 +00:00
|
|
|
var revs []*types.TipSet
|
|
|
|
for i := 0; i < rev; i++ {
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs.t.Log("revert", fcs.h)
|
|
|
|
from, err := fcs.tsc.ChainHead(ctx)
|
2020-09-07 12:43:06 +00:00
|
|
|
require.NoError(fcs.t, err)
|
2019-09-03 17:45:55 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
if _, ok := nullm[int(from.Height())]; !ok {
|
|
|
|
require.NoError(fcs.t, fcs.tsc.revert(from))
|
2021-08-10 05:15:38 +00:00
|
|
|
|
|
|
|
if drop == 0 {
|
|
|
|
revs = append(revs, from)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if drop > 0 {
|
|
|
|
drop--
|
|
|
|
if drop == 0 {
|
|
|
|
fcs.dropSub()
|
|
|
|
}
|
2019-10-04 22:43:04 +00:00
|
|
|
}
|
2019-09-03 17:45:55 +00:00
|
|
|
fcs.h--
|
|
|
|
}
|
|
|
|
|
2019-10-04 22:43:04 +00:00
|
|
|
var apps []*types.TipSet
|
2019-09-03 17:45:55 +00:00
|
|
|
for i := 0; i < app; i++ {
|
|
|
|
fcs.h++
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs.t.Log("apply", fcs.h)
|
2019-09-03 17:45:55 +00:00
|
|
|
|
2019-09-18 11:45:52 +00:00
|
|
|
mc, hasMsgs := msgs[i]
|
|
|
|
if !hasMsgs {
|
2019-09-03 17:45:55 +00:00
|
|
|
mc = dummyCid
|
|
|
|
}
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
if _, ok := nullm[int(fcs.h)]; !ok {
|
|
|
|
best, err := fcs.tsc.ChainHead(ctx)
|
|
|
|
require.NoError(fcs.t, err)
|
|
|
|
ts := fcs.makeTs(fcs.t, best.Key().Cids(), fcs.h, mc)
|
|
|
|
require.NoError(fcs.t, fcs.tsc.add(ts))
|
2019-10-04 22:43:04 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
if hasMsgs {
|
|
|
|
fcs.blkMsgs[ts.Blocks()[0].Cid()] = mc
|
|
|
|
}
|
2019-09-03 17:45:55 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
if drop == 0 {
|
|
|
|
apps = append(apps, ts)
|
|
|
|
}
|
2019-09-18 11:45:52 +00:00
|
|
|
}
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
if drop > 0 {
|
|
|
|
drop--
|
|
|
|
if drop == 0 {
|
|
|
|
fcs.dropSub()
|
|
|
|
}
|
|
|
|
}
|
2019-10-04 22:43:04 +00:00
|
|
|
}
|
|
|
|
|
2019-09-18 11:01:52 +00:00
|
|
|
fcs.sub(revs, apps)
|
2020-06-02 16:45:50 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
// Wait for the last round to finish.
|
|
|
|
fcs.sub(nil, nil)
|
|
|
|
fcs.sub(nil, nil)
|
2019-09-03 17:45:55 +00:00
|
|
|
}
|
|
|
|
|
chore: Merge nv22 into master (#11699)
* [WIP] feat: Add nv22 skeleton
Addition of Network Version 22 skeleton
* update FFI
* feat: drand: refactor round verification
* feat: sealing: Support nv22 DDO features in the sealing pipeline (#11226)
* Initial work supporting DDO pieces in lotus-miner
* sealing: Update pipeline input to operate on UniversalPiece
* sealing: Update pipeline checks/sealing states to operate on UniversalPiece
* sealing: Make pipeline build with UniversalPiece
* move PieceDealInfo out of api
* make gen
* make sealing pipeline unit tests pass
* fix itest ensemble build
* don't panic in SectorsStatus with deals
* stop linter from complaining about checkPieces
* fix sector import tests
* mod tidy
* sealing: Add logic for (pre)committing DDO sectors
* sealing: state-types with method defs
* DDO non-snap pipeline works(?), DDO Itests
* DDO support in snapdeals pipeline
* make gen
* update actor bundles
* update the gst market fix
* fix: chain: use PreCommitSectorsBatch2 when setting up genesis
* some bug fixes
* integration working changes
* update actor bundles
* Make TestOnboardRawPieceSnap pass
* Appease the linter
* Make deadlines test pass with v12 actors
* Update go-state-types, abstract market DealState
* make gen
* mod tidy, lint fixes
* Fix some more tests
* Bump version in master
Bump version in master
* Make gen
Make gen
* fix sender
* fix: lotus-provider: Fix winning PoSt
* fix: sql Scan cannot write to an object
* Actually show miner-addrs in info-log
Actually show miner-addrs in lotus-provider info-log
* [WIP] feat: Add nv22 skeleton
Addition of Network Version 22 skeleton
* update FFI
* ddo is now nv22
* make gen
* temp actor bundle with ddo
* use working go-state-types
* gst with v13 market migration
* update bundle, builtin.MethodsMiner.ProveCommitSectors2 -> 3
* actually working v13 migration, v13 migration itest
* Address review
* sealing: Correct DDO snap pledge math
* itests: Mixed ddo itest
* pipeline: Fix sectorWeight
* sealing: convert market deals into PAMs in mixed sectors
* sealing: make market to ddo conversion work
* fix lint
* update gst
* Update actors and GST to lastest integ branch
* commit batcher: Update ProveCommitSectors3Params builder logic
* make gen
* use builtin-actors master
* ddo: address review
* itests: Add commd assertions to ddo tests
* make gen
* gst with fixed types
* config knobs for RequireActivationSuccess
* storage: Drop obsolete flaky tasts
---------
Co-authored-by: Jennifer Wang <jiayingw703@gmail.com>
Co-authored-by: Aayush <arajasek94@gmail.com>
Co-authored-by: Shrenuj Bansal <shrenuj.bansal@protocol.ai>
Co-authored-by: Phi <orjan.roren@gmail.com>
Co-authored-by: Andrew Jackson (Ajax) <snadrus@gmail.com>
Co-authored-by: TippyFlits <james.bluett@protocol.ai>
* feat: implement FIP-0063
* chore: deps: update to go-multiaddr v0.12.2 (#11602)
* feat: fvm: update the FVM/FFI to v4.1 (#11608) (#11612)
This:
1. Adds nv22 support.
2. Updates the message tracing format.
Co-authored-by: Steven Allen <steven@stebalien.com>
* AggregateProofType nil when doing batch updates
Use latest nv22 go-state-types version with matching update
* Update to v13.0.0-rc.2 bundle
* chore: Upgrade heights and codename
Update upgrade heights
Co-Authored-By: Steven Allen <steven@stebalien.com>
* Update epoch after nv22 DRAND switch
Update epoch after nv22 DRAND switch
* Update Mango codename to Phoneix
Make the codename for the Drand-change inline with Dragon style.
* Add UpgradePhoenixHeight to API params
* set UpgradePhoenixHeight to be one hour after Dragon
* Make gen
Make gen and UpgradePhoenixHeight in butterfly and local devnet to be in line with Calibration and Mainnet
* Update epoch heights (#11637)
Update epoch heights
* new: add forest bootstrap nodes (#11636)
Signed-off-by: samuelarogbonlo <sbayo971@gmail.com>
* Merge pull request #11491 from filecoin-project/fix/remove-decommissioned-pl-bootstrap-nodes
Remove PL operated bootstrap nodes from mainnet.pi
* feat: api: new verified registry methods to get all allocations and claims (#11631)
* new verireg methods
* update changelog and add itest
* update itest and cli
* update new method's support till v9
* remove gateway APIs
* fix cli internal var names
* chore:: backport #11609 to the feat/nv22 branch (#11644)
* feat: api: improve the correctness of Eth's trace_block (#11609)
* Improve the correctness of Eth's trace_block
- Improve encoding/decoding of parameters and return values:
- Encode "native" parameters and return values with Solidity ABI.
- Correctly decode parameters to "create" calls.
- Use the correct (ish) output for "create" calls.
- Handle all forms of "create".
- Make robust with respect to reverts:
- Use the actor ID/address from the trace instead of looking it up in
the state-tree (may not exist in the state-tree due to a revert).
- Gracefully handle failed actor/contract creation.
- Improve performance:
- We avoid looking anything up in the state-tree when translating the
trace, which should significantly improve performance.
- Improve code readability:
- Remove all "backtracking" logic.
- Use an "environment" struct to store temporary state instead of
attaching it to the trace.
- Fix random bugs:
- Fix an allocation bug in the "address" logic (need to set the
capacity before modifying the slice).
- Improved error checking/handling.
- Use correct types for `trace_block` action/results (create, call, etc.).
- And use the correct types for Result/Action structs instead of reusing the same "Call" action every time.
- Improve error messages.
* Make gen
Make gen
---------
Co-authored-by: Steven Allen <steven@stebalien.com>
* fix: add UpgradePhoenixHeight to StateGetNetworkParams (#11648)
* chore: deps: update to go-state-types v13.0.0-rc.1
* do NOT update the cache when running the real migration
* Merge pull request #11632 from hanabi1224/hm/drand-test
feat: drand quicknet: allow scheduling drand quicknet upgrade before nv22 on 2k devnet
* chore: deps: update to go-state-types v13.0.0-rc.2
chore: deps: update to go-state-types v13.0.0-rc.2
* feat: set migration config UpgradeEpoch for v13 actors upgrade
* Built-in actor events first draft
* itest for DDO non-market verified data w/ builtin actor events
* Tests for builtin actor events API
* Clean up DDO+Events tests, add lots of explainer comments
* Minor tweaks to events types
* Avoid duplicate messages when looking for receipts
* Rename internal events modules for clarity
* Adjust actor event API after review
* s/ActorEvents/Events/g in global config
* Manage event sending rate for SubscribeActorEvents
* Terminate SubscribeActorEvents chan when at max height
* Document future API changes
* More clarity in actor event API docs
* More post-review changes, lots of tests for SubscribeActorEvents
Use BlockDelay as the window for receiving events on the SubscribeActorEvents
channel. We expect the user to have received the initial batch of historical
events (if any) in one block's time. For real-time events we expect them to
not fall behind by roughly one block's time.
* Remove duplicate code from actor event type marshalling tests
Reduce verbosity and remove duplicate test logic from actor event types
JSON marshalling tests.
* Rename actor events test to follow go convention
Add missing `s` to `actor_events` test file to follow golang convention
used across the repo.
* Run actor events table tests in deterministic order
Refactor `map` usage for actor event table tests to ensure deterministic
test execution order, making debugging potential issues easier. If
non-determinism is a target, leverage Go's built-in parallel testing
capabilities.
* Reduce scope for filter removal failure when getting actor events
Use a fresh context to remove the temporary filter installed solely to
get the actor events. This should reduce chances of failure in a case
where the original context may be expired/cancelled.
Refactor removal into a `defer` statement for a more readable, concise
return statement.
* Use fixed RNG seed for actor event tests
Improve determinism in actor event tests by using a fixed RNG seed. This
makes up a more reproducible test suit.
* Use provided libraries to assert eventual conditions
Use the functionalities already provided by `testify` to assert eventual
conditions, and remove the use of `time.Sleep`.
Remove duplicate code in utility functions that are already defined.
Refactor assertion helper functions to use consistent terminology:
"require" implies fatal error, whereas "assert" implies error where the
test may proceed executing.
* Update changelog for actor events APIs
* Fix concerns and docs identified by review
* Update actor bundle to v13.0.0-rc3
Update actor bundle to v13.0.0-rc3
* Prep Lotus v1.26.0-rc1
- For sanity reverting the mainnet upgrade epoch to 99999999, and then only set it when cutting the final release
-Update Calibnet CIDs to v13.0.0-rc3
- Add GetActorEvents, SubscribeActorEvents, GetAllClaims and GetAllAllocations methods to the changelog
Co-Authored-By: Jiaying Wang <42981373+jennijuju@users.noreply.github.com>
* Update CHANGELOG.md
Co-authored-by: Masih H. Derkani <m@derkani.org>
* Make gen
Make gen
* fix: beacon: validate drand change at nv16 correctly
* bump to v1.26.0-rc2
* test: cleanup ddo verified itest, extract steps to functions
also add allocation-removed event case
* test: extract verified DDO test to separate file, add more checks
* test: add additional actor events checks
* Add verification for "deal-activated" actor event
* docs(drand): document the meaning of "IsChained" (#11692)
* Resolve conflicts
I encountered multiple issues when trying to run make gen. And these changes fixed a couple of them:
- go mod tidy
- Remove RaftState/RaftLeader
- Revert `if ts.Height() > claim.TermMax+claim.TermStart || !cctx.IsSet("expired")` to the what is in the release/v1.26.0: `if tsHeight > val.TermMax || !expired`
* fixup imports, make jen
* Update version
Update version in master to v1.27.0-dev
* Update node/impl/full/dummy.go
Co-authored-by: Łukasz Magiera <magik6k@users.noreply.github.com>
* Adjust ListClaimsCmd
Adjust ListClaimsCmd according to review
---------
Signed-off-by: samuelarogbonlo <sbayo971@gmail.com>
Co-authored-by: TippyFlits <james.bluett@protocol.ai>
Co-authored-by: Aayush <arajasek94@gmail.com>
Co-authored-by: Łukasz Magiera <magik6k@users.noreply.github.com>
Co-authored-by: Jennifer Wang <jiayingw703@gmail.com>
Co-authored-by: Shrenuj Bansal <shrenuj.bansal@protocol.ai>
Co-authored-by: Andrew Jackson (Ajax) <snadrus@gmail.com>
Co-authored-by: Steven Allen <steven@stebalien.com>
Co-authored-by: Rod Vagg <rod@vagg.org>
Co-authored-by: Samuel Arogbonlo <47984109+samuelarogbonlo@users.noreply.github.com>
Co-authored-by: LexLuthr <88259624+LexLuthr@users.noreply.github.com>
Co-authored-by: tom123222 <160735201+tom123222@users.noreply.github.com>
Co-authored-by: Aarsh Shah <aarshkshah1992@gmail.com>
Co-authored-by: Masih H. Derkani <m@derkani.org>
Co-authored-by: Jiaying Wang <42981373+jennijuju@users.noreply.github.com>
2024-03-12 09:33:58 +00:00
|
|
|
var _ EventHelperAPI = &fakeCS{}
|
2019-09-03 17:45:55 +00:00
|
|
|
|
|
|
|
func TestAt(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_HEIGHT_CHAIN_AT_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-09-03 17:45:55 +00:00
|
|
|
|
|
|
|
var applied bool
|
|
|
|
var reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.ChainAt(context.Background(), func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, 5, int(ts.Height()))
|
|
|
|
require.Equal(t, 8, int(curH))
|
|
|
|
applied = true
|
|
|
|
return nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-09-03 17:45:55 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 5)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, nil)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, nil)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, nil)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
applied = false
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, nil)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(10, 10, 0, nil)
|
2019-10-21 07:54:36 +00:00
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, true, reverted)
|
|
|
|
applied = false
|
|
|
|
reverted = false
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(10, 1, 0, nil)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, true, reverted)
|
|
|
|
reverted = false
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 1, 0, nil)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 2, 0, nil)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 1, 0, nil) // 8
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
2019-09-18 11:10:23 +00:00
|
|
|
}
|
|
|
|
|
2019-10-04 22:43:04 +00:00
|
|
|
func TestAtNullTrigger(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_HEIGHT_CHAIN_AT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-10-04 22:43:04 +00:00
|
|
|
|
|
|
|
var applied bool
|
|
|
|
var reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.ChainAt(context.Background(), func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(6), ts.Height())
|
2019-10-04 22:43:04 +00:00
|
|
|
require.Equal(t, 8, int(curH))
|
|
|
|
applied = true
|
|
|
|
return nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-10-04 22:43:04 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 5)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 6, 0, nil, 5)
|
2019-10-04 22:43:04 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, nil)
|
2019-10-04 22:43:04 +00:00
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
applied = false
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestAtNullConf(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_HEIGHT_CHAIN_AT_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
ctx, cancel := context.WithCancel(context.Background())
|
|
|
|
defer cancel()
|
|
|
|
|
|
|
|
fcs := newFakeCS(t)
|
2019-10-04 22:43:04 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(ctx, fcs)
|
|
|
|
require.NoError(t, err)
|
2019-10-04 22:43:04 +00:00
|
|
|
|
|
|
|
var applied bool
|
|
|
|
var reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.ChainAt(ctx, func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
2019-10-04 22:43:04 +00:00
|
|
|
require.Equal(t, 5, int(ts.Height()))
|
|
|
|
require.Equal(t, 8, int(curH))
|
|
|
|
applied = true
|
|
|
|
return nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-10-04 22:43:04 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 5)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 6, 0, nil)
|
2019-10-04 22:43:04 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, nil, 8)
|
2019-10-04 22:43:04 +00:00
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
applied = false
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(7, 1, 0, nil)
|
2019-10-04 22:43:04 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, true, reverted)
|
|
|
|
reverted = false
|
|
|
|
}
|
|
|
|
|
2019-09-18 11:10:23 +00:00
|
|
|
func TestAtStart(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_HEIGHT_CHAIN_AT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2019-09-18 11:10:23 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-09-18 11:10:23 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 5, 0, nil) // 6
|
2019-09-18 11:10:23 +00:00
|
|
|
|
|
|
|
var applied bool
|
|
|
|
var reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.ChainAt(context.Background(), func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
2019-09-18 11:10:23 +00:00
|
|
|
require.Equal(t, 5, int(ts.Height()))
|
|
|
|
require.Equal(t, 8, int(curH))
|
|
|
|
applied = true
|
|
|
|
return nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-09-18 11:10:23 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 5)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 5, 0, nil) // 11
|
2019-09-18 11:10:23 +00:00
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestAtStartConfidence(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_HEIGHT_CHAIN_AT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2019-09-18 11:10:23 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-09-18 11:10:23 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 10, 0, nil) // 11
|
2019-09-18 11:10:23 +00:00
|
|
|
|
|
|
|
var applied bool
|
|
|
|
var reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.ChainAt(context.Background(), func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
2019-09-18 11:10:23 +00:00
|
|
|
require.Equal(t, 5, int(ts.Height()))
|
|
|
|
require.Equal(t, 11, int(curH))
|
|
|
|
applied = true
|
|
|
|
return nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-09-18 11:10:23 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 5)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
2019-09-03 17:45:55 +00:00
|
|
|
}
|
|
|
|
|
2019-10-11 23:13:07 +00:00
|
|
|
func TestAtChained(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_HEIGHT_CHAIN_AT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2019-10-11 23:13:07 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-10-11 23:13:07 +00:00
|
|
|
|
|
|
|
var applied bool
|
|
|
|
var reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.ChainAt(context.Background(), func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
|
|
|
return events.ChainAt(context.Background(), func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
2019-10-11 23:13:07 +00:00
|
|
|
require.Equal(t, 10, int(ts.Height()))
|
|
|
|
applied = true
|
|
|
|
return nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-10-11 23:13:07 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 10)
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-10-11 23:13:07 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 5)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 15, 0, nil)
|
2019-10-11 23:13:07 +00:00
|
|
|
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestAtChainedConfidence(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_HEIGHT_CHAIN_AT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2019-10-11 23:13:07 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-10-11 23:13:07 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 15, 0, nil)
|
2019-10-11 23:13:07 +00:00
|
|
|
|
|
|
|
var applied bool
|
|
|
|
var reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.ChainAt(context.Background(), func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
|
|
|
return events.ChainAt(context.Background(), func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
2019-10-11 23:13:07 +00:00
|
|
|
require.Equal(t, 10, int(ts.Height()))
|
|
|
|
applied = true
|
|
|
|
return nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-10-11 23:13:07 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 10)
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-10-11 23:13:07 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 5)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
}
|
|
|
|
|
2019-10-15 02:20:57 +00:00
|
|
|
func TestAtChainedConfidenceNull(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_HEIGHT_CHAIN_AT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2019-10-15 02:20:57 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-10-15 02:20:57 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 15, 0, nil, 5)
|
2019-10-15 02:20:57 +00:00
|
|
|
|
|
|
|
var applied bool
|
|
|
|
var reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.ChainAt(context.Background(), func(_ context.Context, ts *types.TipSet, curH abi.ChainEpoch) error {
|
2019-10-15 02:20:57 +00:00
|
|
|
applied = true
|
|
|
|
require.Equal(t, 6, int(ts.Height()))
|
|
|
|
return nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-10-15 02:20:57 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 5)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
}
|
|
|
|
|
2020-10-30 13:00:32 +00:00
|
|
|
func matchAddrMethod(to address.Address, m abi.MethodNum) func(msg *types.Message) (matched bool, err error) {
|
|
|
|
return func(msg *types.Message) (matched bool, err error) {
|
|
|
|
return to == msg.To && m == msg.Method, nil
|
2019-11-19 15:51:12 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-09-03 17:45:55 +00:00
|
|
|
func TestCalled(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2019-09-03 17:45:55 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-09-03 17:45:55 +00:00
|
|
|
|
|
|
|
t0123, err := address.NewFromString("t0123")
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2019-09-04 19:41:34 +00:00
|
|
|
more := true
|
2019-09-03 17:45:55 +00:00
|
|
|
var applied, reverted bool
|
|
|
|
var appliedMsg *types.Message
|
|
|
|
var appliedTs *types.TipSet
|
2020-02-10 19:16:36 +00:00
|
|
|
var appliedH abi.ChainEpoch
|
2019-09-03 17:45:55 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.Called(context.Background(), func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
2019-09-04 20:22:25 +00:00
|
|
|
return false, true, nil
|
2020-02-10 19:16:36 +00:00
|
|
|
}, func(msg *types.Message, rec *types.MessageReceipt, ts *types.TipSet, curH abi.ChainEpoch) (bool, error) {
|
2019-11-08 20:25:02 +00:00
|
|
|
require.Equal(t, false, applied)
|
2019-09-03 17:45:55 +00:00
|
|
|
applied = true
|
|
|
|
appliedMsg = msg
|
|
|
|
appliedTs = ts
|
|
|
|
appliedH = curH
|
2019-09-04 19:41:34 +00:00
|
|
|
return more, nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-09-03 17:45:55 +00:00
|
|
|
reverted = true
|
|
|
|
return nil
|
2019-11-19 15:51:12 +00:00
|
|
|
}, 3, 20, matchAddrMethod(t0123, 5))
|
2019-09-03 17:45:55 +00:00
|
|
|
require.NoError(t, err)
|
|
|
|
|
2023-10-27 18:32:42 +00:00
|
|
|
// create few blocks to make sure nothing gets randomly called
|
2019-09-03 17:45:55 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 4, 0, nil) // H=5
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create blocks with message (but below confidence threshold)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, map[int]cid.Cid{ // msg at H=6; H=8 (confidence=2)
|
2019-09-03 17:45:55 +00:00
|
|
|
0: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
2019-10-14 11:53:20 +00:00
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 1},
|
2019-09-03 17:45:55 +00:00
|
|
|
},
|
|
|
|
}),
|
|
|
|
})
|
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create additional block so we are above confidence threshold
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 2, 0, nil) // H=10 (confidence=3, apply)
|
2019-09-03 17:45:55 +00:00
|
|
|
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
applied = false
|
|
|
|
|
2019-12-04 12:58:22 +00:00
|
|
|
// dip below confidence
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(2, 2, 0, nil) // H=10 (confidence=3, apply)
|
2019-12-04 12:58:22 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(7), appliedTs.Height())
|
2019-11-07 09:02:29 +00:00
|
|
|
require.Equal(t, "bafkqaaa", appliedTs.Blocks()[0].Messages.String())
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(10), appliedH)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, t0123, appliedMsg.To)
|
|
|
|
require.Equal(t, uint64(1), appliedMsg.Nonce)
|
2020-02-23 07:49:15 +00:00
|
|
|
require.Equal(t, abi.MethodNum(5), appliedMsg.Method)
|
2019-09-03 17:45:55 +00:00
|
|
|
|
|
|
|
// revert some blocks, keep the message
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(3, 1, 0, nil) // H=8 (confidence=1)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// revert the message
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(2, 1, 0, nil) // H=7, we reverted ts with the msg execution, but not the msg itself
|
2019-09-03 17:45:55 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, true, reverted)
|
|
|
|
reverted = false
|
|
|
|
|
|
|
|
// send new message on different height
|
|
|
|
|
|
|
|
n2msg := fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
2019-10-14 11:53:20 +00:00
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 2},
|
2019-09-03 17:45:55 +00:00
|
|
|
},
|
|
|
|
})
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, map[int]cid.Cid{ // (n2msg confidence=1)
|
2019-09-03 17:45:55 +00:00
|
|
|
0: n2msg,
|
|
|
|
})
|
|
|
|
|
2020-05-15 09:17:13 +00:00
|
|
|
require.Equal(t, true, applied) // msg from H=7, which had reverted execution
|
2020-05-13 22:48:36 +00:00
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
require.Equal(t, abi.ChainEpoch(10), appliedH)
|
|
|
|
applied = false
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 2, 0, nil) // (confidence=3)
|
2020-05-13 22:48:36 +00:00
|
|
|
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
applied = false
|
|
|
|
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(9), appliedTs.Height())
|
2019-11-07 09:02:29 +00:00
|
|
|
require.Equal(t, "bafkqaaa", appliedTs.Blocks()[0].Messages.String())
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(12), appliedH)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, t0123, appliedMsg.To)
|
|
|
|
require.Equal(t, uint64(2), appliedMsg.Nonce)
|
2020-02-23 07:49:15 +00:00
|
|
|
require.Equal(t, abi.MethodNum(5), appliedMsg.Method)
|
2019-09-03 17:45:55 +00:00
|
|
|
|
|
|
|
// revert and apply at different height
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(8, 6, 0, map[int]cid.Cid{ // (confidence=3)
|
2019-09-03 17:45:55 +00:00
|
|
|
1: n2msg,
|
|
|
|
})
|
|
|
|
|
|
|
|
// TODO: We probably don't want to call revert/apply, as restarting certain
|
|
|
|
// actions may be expensive, and in this case the message is still
|
|
|
|
// on-chain, just at different height
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, true, reverted)
|
|
|
|
reverted = false
|
|
|
|
applied = false
|
|
|
|
|
2020-05-13 22:48:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(7), appliedTs.Height())
|
2019-11-07 09:02:29 +00:00
|
|
|
require.Equal(t, "bafkqaaa", appliedTs.Blocks()[0].Messages.String())
|
2020-05-13 22:48:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(10), appliedH)
|
2019-09-03 17:45:55 +00:00
|
|
|
require.Equal(t, t0123, appliedMsg.To)
|
|
|
|
require.Equal(t, uint64(2), appliedMsg.Nonce)
|
2020-02-23 07:49:15 +00:00
|
|
|
require.Equal(t, abi.MethodNum(5), appliedMsg.Method)
|
2019-09-03 17:59:32 +00:00
|
|
|
|
|
|
|
// call method again
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 5, 0, map[int]cid.Cid{
|
2019-09-03 17:59:32 +00:00
|
|
|
0: n2msg,
|
|
|
|
})
|
|
|
|
|
2019-09-04 18:56:06 +00:00
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
applied = false
|
|
|
|
|
|
|
|
// send and revert below confidence, then cross confidence
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 2, 0, map[int]cid.Cid{
|
2019-09-04 18:56:06 +00:00
|
|
|
0: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
2019-10-14 11:53:20 +00:00
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 3},
|
2019-09-04 18:56:06 +00:00
|
|
|
},
|
|
|
|
}),
|
|
|
|
})
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(2, 5, 0, nil) // H=19, but message reverted
|
2019-09-04 18:56:06 +00:00
|
|
|
|
2019-09-04 16:09:08 +00:00
|
|
|
require.Equal(t, false, applied)
|
2019-09-03 17:59:32 +00:00
|
|
|
require.Equal(t, false, reverted)
|
2019-09-04 18:56:06 +00:00
|
|
|
|
2019-09-04 19:41:34 +00:00
|
|
|
// test timeout (it's set to 20 in the call to `events.Called` above)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 6, 0, nil)
|
2019-09-04 19:41:34 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied) // not calling timeout as we received messages
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// test unregistering with more
|
|
|
|
|
|
|
|
more = false
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 5, 0, map[int]cid.Cid{
|
2019-09-04 19:41:34 +00:00
|
|
|
0: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
2019-10-14 11:53:20 +00:00
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 4}, // this signals we don't want more
|
2019-09-04 19:41:34 +00:00
|
|
|
},
|
|
|
|
}),
|
|
|
|
})
|
|
|
|
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
applied = false
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 5, 0, map[int]cid.Cid{
|
2019-09-04 19:41:34 +00:00
|
|
|
0: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
2019-10-14 11:53:20 +00:00
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 5},
|
2019-09-04 19:41:34 +00:00
|
|
|
},
|
|
|
|
}),
|
|
|
|
})
|
|
|
|
|
|
|
|
require.Equal(t, false, applied) // should not get any further notifications
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// revert after disabled
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(5, 1, 0, nil) // try reverting msg sent after disabling
|
2019-09-04 19:41:34 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(5, 1, 0, nil) // try reverting msg sent before disabling
|
2019-09-04 19:41:34 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, true, reverted)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestCalledTimeout(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2019-09-04 19:41:34 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-09-04 19:41:34 +00:00
|
|
|
|
|
|
|
t0123, err := address.NewFromString("t0123")
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
called := false
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.Called(context.Background(), func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
2019-09-04 20:22:25 +00:00
|
|
|
return false, true, nil
|
2020-02-10 19:16:36 +00:00
|
|
|
}, func(msg *types.Message, rec *types.MessageReceipt, ts *types.TipSet, curH abi.ChainEpoch) (bool, error) {
|
2019-09-04 19:41:34 +00:00
|
|
|
called = true
|
|
|
|
require.Nil(t, msg)
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(20), ts.Height())
|
|
|
|
require.Equal(t, abi.ChainEpoch(23), curH)
|
2019-09-04 19:41:34 +00:00
|
|
|
return false, nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-09-04 19:41:34 +00:00
|
|
|
t.Fatal("revert on timeout")
|
|
|
|
return nil
|
2019-11-19 15:51:12 +00:00
|
|
|
}, 3, 20, matchAddrMethod(t0123, 5))
|
2019-09-04 19:41:34 +00:00
|
|
|
require.NoError(t, err)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 21, 0, nil)
|
2019-09-04 19:41:34 +00:00
|
|
|
require.False(t, called)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 5, 0, nil)
|
2019-09-04 19:41:34 +00:00
|
|
|
require.True(t, called)
|
2019-09-04 20:22:25 +00:00
|
|
|
called = false
|
|
|
|
|
|
|
|
// with check func reporting done
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs = newFakeCS(t)
|
2019-09-04 20:22:25 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err = NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-09-04 20:22:25 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.Called(context.Background(), func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
2019-09-04 20:22:25 +00:00
|
|
|
return true, true, nil
|
2020-02-10 19:16:36 +00:00
|
|
|
}, func(msg *types.Message, rec *types.MessageReceipt, ts *types.TipSet, curH abi.ChainEpoch) (bool, error) {
|
2019-09-04 20:22:25 +00:00
|
|
|
called = true
|
|
|
|
require.Nil(t, msg)
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(20), ts.Height())
|
|
|
|
require.Equal(t, abi.ChainEpoch(23), curH)
|
2019-09-04 20:22:25 +00:00
|
|
|
return false, nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-09-04 20:22:25 +00:00
|
|
|
t.Fatal("revert on timeout")
|
|
|
|
return nil
|
2019-11-19 15:51:12 +00:00
|
|
|
}, 3, 20, matchAddrMethod(t0123, 5))
|
2019-09-04 20:22:25 +00:00
|
|
|
require.NoError(t, err)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 21, 0, nil)
|
2019-09-04 20:22:25 +00:00
|
|
|
require.False(t, called)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 5, 0, nil)
|
2019-09-04 20:22:25 +00:00
|
|
|
require.False(t, called)
|
2019-09-03 17:45:55 +00:00
|
|
|
}
|
2019-09-05 07:57:12 +00:00
|
|
|
|
|
|
|
func TestCalledOrder(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2019-09-05 07:57:12 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2019-09-05 07:57:12 +00:00
|
|
|
|
|
|
|
t0123, err := address.NewFromString("t0123")
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
at := 0
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.Called(context.Background(), func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
2019-09-05 07:57:12 +00:00
|
|
|
return false, true, nil
|
2020-02-10 19:16:36 +00:00
|
|
|
}, func(msg *types.Message, rec *types.MessageReceipt, ts *types.TipSet, curH abi.ChainEpoch) (bool, error) {
|
2019-09-05 07:57:12 +00:00
|
|
|
switch at {
|
|
|
|
case 0:
|
|
|
|
require.Equal(t, uint64(1), msg.Nonce)
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(4), ts.Height())
|
2019-09-05 07:57:12 +00:00
|
|
|
case 1:
|
|
|
|
require.Equal(t, uint64(2), msg.Nonce)
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(5), ts.Height())
|
2019-09-05 07:57:12 +00:00
|
|
|
default:
|
|
|
|
t.Fatal("apply should only get called twice, at: ", at)
|
|
|
|
}
|
|
|
|
at++
|
|
|
|
return true, nil
|
2019-11-05 14:03:59 +00:00
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
2019-09-05 07:57:12 +00:00
|
|
|
switch at {
|
|
|
|
case 2:
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(5), ts.Height())
|
2019-09-05 07:57:12 +00:00
|
|
|
case 3:
|
2020-02-10 19:16:36 +00:00
|
|
|
require.Equal(t, abi.ChainEpoch(4), ts.Height())
|
2019-09-05 07:57:12 +00:00
|
|
|
default:
|
|
|
|
t.Fatal("revert should only get called twice, at: ", at)
|
|
|
|
}
|
|
|
|
at++
|
|
|
|
return nil
|
2019-11-19 15:51:12 +00:00
|
|
|
}, 3, 20, matchAddrMethod(t0123, 5))
|
2019-09-05 07:57:12 +00:00
|
|
|
require.NoError(t, err)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 10, 0, map[int]cid.Cid{
|
2019-09-05 07:57:12 +00:00
|
|
|
1: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
2019-10-14 11:53:20 +00:00
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 1},
|
2019-09-05 07:57:12 +00:00
|
|
|
},
|
|
|
|
}),
|
|
|
|
2: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
2019-10-14 11:53:20 +00:00
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 2},
|
2019-09-05 07:57:12 +00:00
|
|
|
},
|
|
|
|
}),
|
|
|
|
})
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(9, 1, 0, nil)
|
2019-09-05 07:57:12 +00:00
|
|
|
}
|
2020-05-08 05:07:23 +00:00
|
|
|
|
|
|
|
func TestCalledNull(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2020-05-08 05:07:23 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2020-05-08 05:07:23 +00:00
|
|
|
|
|
|
|
t0123, err := address.NewFromString("t0123")
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
more := true
|
|
|
|
var applied, reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.Called(context.Background(), func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
2020-05-08 05:07:23 +00:00
|
|
|
return false, true, nil
|
|
|
|
}, func(msg *types.Message, rec *types.MessageReceipt, ts *types.TipSet, curH abi.ChainEpoch) (bool, error) {
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
applied = true
|
|
|
|
return more, nil
|
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 20, matchAddrMethod(t0123, 5))
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2023-10-27 18:32:42 +00:00
|
|
|
// create few blocks to make sure nothing gets randomly called
|
2020-05-08 05:07:23 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 4, 0, nil) // H=5
|
2020-05-08 05:07:23 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create blocks with message (but below confidence threshold)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, map[int]cid.Cid{ // msg at H=6; H=8 (confidence=2)
|
2020-05-08 05:07:23 +00:00
|
|
|
0: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 1},
|
|
|
|
},
|
|
|
|
}),
|
|
|
|
})
|
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create additional blocks so we are above confidence threshold, but with null tipset at the height
|
|
|
|
// of application
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, nil, 10) // H=11 (confidence=3, apply)
|
2020-05-08 05:07:23 +00:00
|
|
|
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
2020-05-08 08:24:17 +00:00
|
|
|
applied = false
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(5, 1, 0, nil, 10)
|
2020-05-08 08:24:17 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, true, reverted)
|
2020-05-08 05:07:23 +00:00
|
|
|
}
|
2020-05-13 19:10:56 +00:00
|
|
|
|
|
|
|
func TestRemoveTriggersOnMessage(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2020-05-13 19:10:56 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2020-05-13 19:10:56 +00:00
|
|
|
|
|
|
|
t0123, err := address.NewFromString("t0123")
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
more := true
|
|
|
|
var applied, reverted bool
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.Called(context.Background(), func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
2020-05-13 19:10:56 +00:00
|
|
|
return false, true, nil
|
|
|
|
}, func(msg *types.Message, rec *types.MessageReceipt, ts *types.TipSet, curH abi.ChainEpoch) (bool, error) {
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
applied = true
|
|
|
|
return more, nil
|
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
|
|
|
reverted = true
|
|
|
|
return nil
|
|
|
|
}, 3, 20, matchAddrMethod(t0123, 5))
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2023-10-27 18:32:42 +00:00
|
|
|
// create few blocks to make sure nothing gets randomly called
|
2020-05-13 19:10:56 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 4, 0, nil) // H=5
|
2020-05-13 19:10:56 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create blocks with message (but below confidence threshold)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, map[int]cid.Cid{ // msg occurs at H=5, applied at H=6; H=8 (confidence=2)
|
2020-05-13 19:10:56 +00:00
|
|
|
0: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 1},
|
|
|
|
},
|
|
|
|
}),
|
|
|
|
})
|
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// revert applied TS & message TS
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(3, 1, 0, nil) // H=6 (tipset message applied in reverted, AND message reverted)
|
2020-05-13 19:10:56 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create additional blocks so we are above confidence threshold, but message not applied
|
|
|
|
// as it was reverted
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 5, 0, nil) // H=11 (confidence=3, apply)
|
2020-05-13 19:10:56 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create blocks with message again (but below confidence threshold)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, map[int]cid.Cid{ // msg occurs at H=12, applied at H=13; H=15 (confidence=2)
|
2020-05-13 19:10:56 +00:00
|
|
|
0: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 2},
|
|
|
|
},
|
|
|
|
}),
|
|
|
|
})
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// revert applied height TS, but don't remove message trigger
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(2, 1, 0, nil) // H=13 (tipset message applied in reverted, by tipset with message not reverted)
|
2020-05-13 19:10:56 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create additional blocks so we are above confidence threshold
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 4, 0, nil) // H=18 (confidence=3, apply)
|
2020-05-13 19:10:56 +00:00
|
|
|
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
}
|
2020-06-25 16:12:03 +00:00
|
|
|
|
2020-06-25 21:43:37 +00:00
|
|
|
type testStateChange struct {
|
|
|
|
from string
|
2020-06-26 19:36:48 +00:00
|
|
|
to string
|
2020-06-25 21:43:37 +00:00
|
|
|
}
|
|
|
|
|
2020-06-25 16:12:03 +00:00
|
|
|
func TestStateChanged(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2020-06-25 16:12:03 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
more := true
|
|
|
|
var applied, reverted bool
|
2020-06-25 21:43:37 +00:00
|
|
|
var appliedData StateChange
|
2020-06-25 16:12:03 +00:00
|
|
|
var appliedOldTs *types.TipSet
|
|
|
|
var appliedNewTs *types.TipSet
|
|
|
|
var appliedH abi.ChainEpoch
|
2020-06-25 21:43:37 +00:00
|
|
|
var matchData StateChange
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
confidence := 3
|
|
|
|
timeout := abi.ChainEpoch(20)
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.StateChanged(func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
2020-06-25 16:12:03 +00:00
|
|
|
return false, true, nil
|
2020-06-25 21:43:37 +00:00
|
|
|
}, func(oldTs, newTs *types.TipSet, data StateChange, curH abi.ChainEpoch) (bool, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
if data != nil {
|
|
|
|
require.Equal(t, oldTs.Key(), newTs.Parents())
|
|
|
|
}
|
2020-06-25 16:12:03 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
applied = true
|
|
|
|
appliedData = data
|
|
|
|
appliedOldTs = oldTs
|
|
|
|
appliedNewTs = newTs
|
|
|
|
appliedH = curH
|
|
|
|
return more, nil
|
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
|
|
|
reverted = true
|
|
|
|
return nil
|
2020-06-25 21:43:37 +00:00
|
|
|
}, confidence, timeout, func(oldTs, newTs *types.TipSet) (bool, StateChange, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
require.Equal(t, oldTs.Key(), newTs.Parents())
|
2020-06-25 16:12:03 +00:00
|
|
|
if matchData == nil {
|
|
|
|
return false, matchData, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
d := matchData
|
|
|
|
matchData = nil
|
|
|
|
return true, d, nil
|
|
|
|
})
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2023-10-27 18:32:42 +00:00
|
|
|
// create few blocks to make sure nothing gets randomly called
|
2020-06-25 16:12:03 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 4, 0, nil) // H=5
|
2020-06-25 16:12:03 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create state change (but below confidence threshold)
|
2020-06-25 21:43:37 +00:00
|
|
|
matchData = testStateChange{from: "a", to: "b"}
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, nil)
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// create additional block so we are above confidence threshold
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 2, 0, nil) // H=10 (confidence=3, apply)
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
applied = false
|
|
|
|
|
|
|
|
// dip below confidence (should not apply again)
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(2, 2, 0, nil) // H=10 (confidence=3, apply)
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// Change happens from 5 -> 6
|
|
|
|
require.Equal(t, abi.ChainEpoch(5), appliedOldTs.Height())
|
|
|
|
require.Equal(t, abi.ChainEpoch(6), appliedNewTs.Height())
|
|
|
|
|
|
|
|
// Actually applied (with confidence) at 9
|
|
|
|
require.Equal(t, abi.ChainEpoch(9), appliedH)
|
|
|
|
|
|
|
|
// Make sure the state change was correctly passed through
|
2020-06-25 21:43:37 +00:00
|
|
|
rcvd := appliedData.(testStateChange)
|
|
|
|
require.Equal(t, "a", rcvd.from)
|
|
|
|
require.Equal(t, "b", rcvd.to)
|
2020-06-25 16:12:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
func TestStateChangedRevert(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2020-06-25 16:12:03 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
more := true
|
|
|
|
var applied, reverted bool
|
2020-06-25 21:43:37 +00:00
|
|
|
var matchData StateChange
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
confidence := 1
|
|
|
|
timeout := abi.ChainEpoch(20)
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.StateChanged(func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
2020-06-25 16:12:03 +00:00
|
|
|
return false, true, nil
|
2020-06-25 21:43:37 +00:00
|
|
|
}, func(oldTs, newTs *types.TipSet, data StateChange, curH abi.ChainEpoch) (bool, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
if data != nil {
|
|
|
|
require.Equal(t, oldTs.Key(), newTs.Parents())
|
|
|
|
}
|
2020-06-25 16:12:03 +00:00
|
|
|
require.Equal(t, false, applied)
|
|
|
|
applied = true
|
|
|
|
return more, nil
|
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
|
|
|
reverted = true
|
|
|
|
return nil
|
2020-06-25 21:43:37 +00:00
|
|
|
}, confidence, timeout, func(oldTs, newTs *types.TipSet) (bool, StateChange, error) {
|
2021-08-10 05:15:38 +00:00
|
|
|
require.Equal(t, oldTs.Key(), newTs.Parents())
|
|
|
|
|
2020-06-25 16:12:03 +00:00
|
|
|
if matchData == nil {
|
|
|
|
return false, matchData, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
d := matchData
|
|
|
|
matchData = nil
|
|
|
|
return true, d, nil
|
|
|
|
})
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 2, 0, nil) // H=3
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
// Make a state change from TS at height 3 to TS at height 4
|
2020-06-25 21:43:37 +00:00
|
|
|
matchData = testStateChange{from: "a", to: "b"}
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 1, 0, nil) // H=4
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
// Haven't yet reached confidence
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// Advance to reach confidence level
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 1, 0, nil) // H=5
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
// Should now have called the handler
|
|
|
|
require.Equal(t, true, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
applied = false
|
|
|
|
|
|
|
|
// Advance 3 more TS
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 3, 0, nil) // H=8
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// Regress but not so far as to cause a revert
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(3, 1, 0, nil) // H=6
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, false, reverted)
|
|
|
|
|
|
|
|
// Regress back to state where change happened
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(3, 1, 0, nil) // H=4
|
2020-06-25 16:12:03 +00:00
|
|
|
|
|
|
|
// Expect revert to have happened
|
|
|
|
require.Equal(t, false, applied)
|
|
|
|
require.Equal(t, true, reverted)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestStateChangedTimeout(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-26 15:36:06 +00:00
|
|
|
timeoutHeight := abi.ChainEpoch(20)
|
|
|
|
confidence := 3
|
2021-08-30 08:42:41 +00:00
|
|
|
|
2021-08-26 15:36:06 +00:00
|
|
|
testCases := []struct {
|
|
|
|
name string
|
|
|
|
checkFn CheckFunc
|
|
|
|
nilBlocks []int
|
|
|
|
expectTimeout bool
|
|
|
|
}{{
|
|
|
|
// Verify that the state changed timeout is called at the expected height
|
|
|
|
name: "state changed timeout",
|
|
|
|
checkFn: func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
|
|
|
return false, true, nil
|
|
|
|
},
|
|
|
|
expectTimeout: true,
|
|
|
|
}, {
|
|
|
|
// Verify that the state changed timeout is called even if the timeout
|
|
|
|
// falls on nil block
|
|
|
|
name: "state changed timeout falls on nil block",
|
|
|
|
checkFn: func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
|
|
|
return false, true, nil
|
|
|
|
},
|
|
|
|
nilBlocks: []int{20, 21, 22, 23},
|
|
|
|
expectTimeout: true,
|
|
|
|
}, {
|
|
|
|
// Verify that the state changed timeout is not called if the check
|
|
|
|
// function reports that it's complete
|
|
|
|
name: "no timeout callback if check func reports done",
|
|
|
|
checkFn: func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
|
|
|
return true, true, nil
|
|
|
|
},
|
|
|
|
expectTimeout: false,
|
|
|
|
}}
|
|
|
|
|
|
|
|
for _, tc := range testCases {
|
|
|
|
tc := tc
|
|
|
|
t.Run(tc.name, func(t *testing.T) {
|
|
|
|
fcs := newFakeCS(t)
|
|
|
|
|
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
// Track whether the callback was called
|
|
|
|
called := false
|
|
|
|
|
|
|
|
// Set up state change tracking that will timeout at the given height
|
|
|
|
err = events.StateChanged(
|
|
|
|
tc.checkFn,
|
|
|
|
func(oldTs, newTs *types.TipSet, data StateChange, curH abi.ChainEpoch) (bool, error) {
|
|
|
|
// Expect the callback to be called at the timeout height with nil data
|
|
|
|
called = true
|
|
|
|
require.Nil(t, data)
|
|
|
|
require.Equal(t, timeoutHeight, newTs.Height())
|
|
|
|
require.Equal(t, timeoutHeight+abi.ChainEpoch(confidence), curH)
|
|
|
|
return false, nil
|
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
|
|
|
t.Fatal("revert on timeout")
|
|
|
|
return nil
|
|
|
|
}, confidence, timeoutHeight, func(oldTs, newTs *types.TipSet) (bool, StateChange, error) {
|
|
|
|
return false, nil, nil
|
|
|
|
})
|
|
|
|
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
// Advance to timeout height
|
|
|
|
fcs.advance(0, int(timeoutHeight)+1, 0, nil)
|
|
|
|
require.False(t, called)
|
|
|
|
|
|
|
|
// Advance past timeout height
|
|
|
|
fcs.advance(0, 5, 0, nil, tc.nilBlocks...)
|
|
|
|
require.Equal(t, tc.expectTimeout, called)
|
|
|
|
called = false
|
|
|
|
})
|
|
|
|
}
|
2020-06-25 16:12:03 +00:00
|
|
|
}
|
2021-05-30 15:20:14 +00:00
|
|
|
|
|
|
|
func TestCalledMultiplePerEpoch(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2021-05-30 15:20:14 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
events, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2021-05-30 15:20:14 +00:00
|
|
|
|
|
|
|
t0123, err := address.NewFromString("t0123")
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
at := 0
|
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
err = events.Called(context.Background(), func(ctx context.Context, ts *types.TipSet) (d bool, m bool, e error) {
|
2021-05-30 15:20:14 +00:00
|
|
|
return false, true, nil
|
|
|
|
}, func(msg *types.Message, rec *types.MessageReceipt, ts *types.TipSet, curH abi.ChainEpoch) (bool, error) {
|
|
|
|
switch at {
|
|
|
|
case 0:
|
|
|
|
require.Equal(t, uint64(1), msg.Nonce)
|
|
|
|
require.Equal(t, abi.ChainEpoch(4), ts.Height())
|
|
|
|
case 1:
|
|
|
|
require.Equal(t, uint64(2), msg.Nonce)
|
|
|
|
require.Equal(t, abi.ChainEpoch(4), ts.Height())
|
|
|
|
default:
|
|
|
|
t.Fatal("apply should only get called twice, at: ", at)
|
|
|
|
}
|
|
|
|
at++
|
|
|
|
return true, nil
|
|
|
|
}, func(_ context.Context, ts *types.TipSet) error {
|
|
|
|
switch at {
|
|
|
|
case 2:
|
|
|
|
require.Equal(t, abi.ChainEpoch(4), ts.Height())
|
|
|
|
case 3:
|
|
|
|
require.Equal(t, abi.ChainEpoch(4), ts.Height())
|
|
|
|
default:
|
|
|
|
t.Fatal("revert should only get called twice, at: ", at)
|
|
|
|
}
|
|
|
|
at++
|
|
|
|
return nil
|
|
|
|
}, 3, 20, matchAddrMethod(t0123, 5))
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 10, 0, map[int]cid.Cid{
|
2021-05-30 15:20:14 +00:00
|
|
|
1: fcs.fakeMsgs(fakeMsg{
|
|
|
|
bmsgs: []*types.Message{
|
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 1},
|
|
|
|
{To: t0123, From: t0123, Method: 5, Nonce: 2},
|
|
|
|
},
|
|
|
|
}),
|
|
|
|
})
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(9, 1, 0, nil)
|
2021-05-30 15:20:14 +00:00
|
|
|
}
|
2021-07-15 06:47:28 +00:00
|
|
|
|
|
|
|
func TestCachedSameBlock(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-04 00:10:30 +00:00
|
|
|
fcs := newFakeCS(t)
|
2021-07-15 06:47:28 +00:00
|
|
|
|
2021-08-04 00:10:30 +00:00
|
|
|
_, err := NewEvents(context.Background(), fcs)
|
|
|
|
require.NoError(t, err)
|
2021-07-15 06:47:28 +00:00
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(0, 10, 0, map[int]cid.Cid{})
|
2021-07-15 06:47:28 +00:00
|
|
|
assert.Assert(t, fcs.callNumber["ChainGetBlockMessages"] == 20, "expect call ChainGetBlockMessages %d but got ", 20, fcs.callNumber["ChainGetBlockMessages"])
|
|
|
|
|
2021-08-10 05:15:38 +00:00
|
|
|
fcs.advance(5, 10, 0, map[int]cid.Cid{})
|
2021-07-15 06:47:28 +00:00
|
|
|
assert.Assert(t, fcs.callNumber["ChainGetBlockMessages"] == 30, "expect call ChainGetBlockMessages %d but got ", 30, fcs.callNumber["ChainGetBlockMessages"])
|
|
|
|
}
|
2021-08-10 05:15:38 +00:00
|
|
|
|
|
|
|
type testObserver struct {
|
|
|
|
t *testing.T
|
|
|
|
head *types.TipSet
|
|
|
|
}
|
|
|
|
|
|
|
|
func (t *testObserver) Apply(_ context.Context, from, to *types.TipSet) error {
|
|
|
|
if t.head != nil {
|
|
|
|
require.True(t.t, t.head.Equals(from))
|
|
|
|
}
|
|
|
|
t.head = to
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func (t *testObserver) Revert(_ context.Context, from, to *types.TipSet) error {
|
|
|
|
if t.head != nil {
|
|
|
|
require.True(t.t, t.head.Equals(from))
|
|
|
|
}
|
|
|
|
t.head = to
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestReconnect(t *testing.T) {
|
feat: Add additional test annotations (#8272)
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate repub and selection tests
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
* Fix markset annotations
* doc: test annotations for the markets dagstore wrapper
* Annotate miner_api test in dagstore
* Annotate more test files
* Remove bad annotations from fsrepo
* Annotate wdpost system
* Remove bad annotations
* Renamce "conformance" to "chaos_actor" tests
* doc: stm annotations for blockheader & election proof tests
* Annotate remaining "A" tests
* annotate: stm for error_test
* memrepo_test.go
* Annotate "b" file tests
* message_test.go
* doc: stm annotate for fsrepo_test
* Annotate "c" file tests
* Annotate "D" test files
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate u,v,wl tests
* doc: stm annotations for various test files
* Annotate "T" test files
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add mempool unit tests
* Add two more memPool Add tests
* Update submodules
* Add check function tests
* Add stm annotations, refactor test helper
* Annotate api,proxy_util,blockstore_badger, policy tests
* Annotate splitstore: bsbadger / markset
solving merge conflicts
* Annotate splitstore feature
* Annotate union/timed blockstore tests
* Annotate openrpc, diff_adt tests
* Annotate error,drand,events tests
* Annotate predicates_test
* Fix annotations
* Annotate tscache, gen tests
* Annotate fundmanager test
* Annotate statetree_test
* Annotate forks_test
* Annotate searchwait_test.go
* Fix duplicated @@ symbols
* Annotate chain stmgr/store tests
* Annotate more (types) tests
* More tests annotated
* Annotate conformance chaos actor tests
* Annotate more integration tests
* Annotate journal system tests
* Annotate more tests.
* Annotate gas,head buffer behaviors
solve merge conflict
* Fix markset annotations
* Annotate miner_api test in dagstore
* Annotate more test files
* doc: test annotations for the markets dagstore wrapper
* Annotate wdpost system
* Renamce "conformance" to "chaos_actor" tests
* Annotate remaining "A" tests
* doc: stm annotations for blockheader & election proof tests
* annotate: stm for error_test
* Annotate "b" file tests
* memrepo_test.go
* Annotate "c" file tests
* message_test.go
* Annotate "D" test files
* doc: stm annotate for fsrepo_test
* Annotate u,v,wl tests
* message_test.go
* doc: stm annotate for chain, node/config & client
* docs: stm annotate node_test
* Annotate "T" test files
* doc: stm annotations for various test files
* Add mempool unit tests
solve merge conflict
* doc: stm annotate for proxy_util_test & policy_test
* doc: stm annotate for various tests
* doc: final few stm annotations
* Add two more memPool Add tests
* Update submodules
* Add check function tests
solve conflict
* Add stm annotations, refactor test helper
solve merge conflict
* Change CLI test kinds to "unit"
* Fix double merged test
* Fix ccupgrade_test merge
* Fix lint issues
* Add stm annotation to types_Test
* Test vectors submodule
* Add file annotation to burn_test
Co-authored-by: Nikola Divic <divicnikola@gmail.com>
Co-authored-by: TheMenko <themenkoprojects@gmail.com>
2022-03-16 17:37:34 +00:00
|
|
|
//stm: @EVENTS_EVENTS_CALLED_001, @EVENTS_HEIGHT_REVERT_001
|
2021-08-10 05:15:38 +00:00
|
|
|
ctx, cancel := context.WithCancel(context.Background())
|
|
|
|
defer cancel()
|
|
|
|
|
|
|
|
fcs := newFakeCS(t)
|
|
|
|
|
|
|
|
events, err := NewEvents(ctx, fcs)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
fcs.advance(0, 1, 0, nil)
|
|
|
|
|
|
|
|
events.Observe(&testObserver{t: t})
|
|
|
|
|
|
|
|
fcs.advance(0, 3, 0, nil)
|
|
|
|
|
|
|
|
// Drop on apply
|
|
|
|
fcs.advance(0, 6, 2, nil)
|
|
|
|
require.True(t, fcs.callNumber["ChainGetPath"] == 1)
|
|
|
|
|
|
|
|
// drop across revert/apply boundary
|
|
|
|
fcs.advance(4, 2, 3, nil)
|
|
|
|
require.True(t, fcs.callNumber["ChainGetPath"] == 2)
|
|
|
|
fcs.advance(0, 6, 0, nil)
|
|
|
|
|
|
|
|
// drop on revert
|
|
|
|
fcs.advance(3, 0, 2, nil)
|
|
|
|
require.True(t, fcs.callNumber["ChainGetPath"] == 3)
|
|
|
|
|
|
|
|
// drop with nulls
|
|
|
|
fcs.advance(0, 5, 2, nil, 0, 1, 3)
|
|
|
|
require.True(t, fcs.callNumber["ChainGetPath"] == 4)
|
|
|
|
}
|
2022-04-06 17:59:58 +00:00
|
|
|
|
|
|
|
func TestUnregister(t *testing.T) {
|
|
|
|
ctx, cancel := context.WithCancel(context.Background())
|
|
|
|
defer cancel()
|
|
|
|
|
|
|
|
fcs := newFakeCS(t)
|
|
|
|
|
|
|
|
events, err := NewEvents(ctx, fcs)
|
|
|
|
require.NoError(t, err)
|
|
|
|
|
|
|
|
tsObs := &testObserver{t: t}
|
|
|
|
events.Observe(tsObs)
|
|
|
|
|
|
|
|
// observer receives heads as the chain advances
|
|
|
|
fcs.advance(0, 1, 0, nil)
|
|
|
|
headBeforeDeregister := events.lastTs
|
|
|
|
require.Equal(t, tsObs.head, headBeforeDeregister)
|
|
|
|
|
|
|
|
// observer unregistered successfully
|
|
|
|
found := events.Unregister(tsObs)
|
|
|
|
require.True(t, found)
|
|
|
|
|
|
|
|
// observer stops receiving heads as the chain advances
|
|
|
|
fcs.advance(0, 1, 0, nil)
|
|
|
|
require.Equal(t, tsObs.head, headBeforeDeregister)
|
|
|
|
require.NotEqual(t, tsObs.head, events.lastTs)
|
|
|
|
|
|
|
|
// unregistering an invalid observer returns false
|
|
|
|
dneObs := &testObserver{t: t}
|
|
|
|
found = events.Unregister(dneObs)
|
|
|
|
require.False(t, found)
|
|
|
|
}
|