func (m *clistModel) Init(t *rapid.T) {
	m.clist = clist.New()
	m.model = []*clist.CElement{}
}
Init is a method used by the rapid state machine testing library.
Init is called when the test starts to initialize the data that will be used
in the state machine test.
package clist_test
import (
	"testing"
	"github.com/stretchr/testify/require"
	"pgregory.net/rapid"
	"github.com/tendermint/tendermint/internal/libs/clist"
)
func TestCListProperties(t *testing.T) {
	rapid.Check(t, rapid.Run(&clistModel{}))
}
type clistModel struct {
	clist *clist.CList
	model []*clist.CElement
}