372 lines
10 KiB
Go
372 lines
10 KiB
Go
package simapp
|
|
|
|
import (
|
|
"encoding/json"
|
|
"fmt"
|
|
"io/ioutil"
|
|
"math/rand"
|
|
"os"
|
|
"testing"
|
|
|
|
"github.com/stretchr/testify/require"
|
|
abci "github.com/tendermint/tendermint/abci/types"
|
|
"github.com/tendermint/tendermint/libs/log"
|
|
dbm "github.com/tendermint/tm-db"
|
|
|
|
"github.com/cosmos/cosmos-sdk/baseapp"
|
|
"github.com/cosmos/cosmos-sdk/simapp/helpers"
|
|
"github.com/cosmos/cosmos-sdk/store"
|
|
sdk "github.com/cosmos/cosmos-sdk/types"
|
|
"github.com/cosmos/cosmos-sdk/x/auth"
|
|
distr "github.com/cosmos/cosmos-sdk/x/distribution"
|
|
"github.com/cosmos/cosmos-sdk/x/gov"
|
|
"github.com/cosmos/cosmos-sdk/x/mint"
|
|
"github.com/cosmos/cosmos-sdk/x/params"
|
|
"github.com/cosmos/cosmos-sdk/x/simulation"
|
|
"github.com/cosmos/cosmos-sdk/x/slashing"
|
|
"github.com/cosmos/cosmos-sdk/x/staking"
|
|
"github.com/cosmos/cosmos-sdk/x/supply"
|
|
)
|
|
|
|
// Get flags every time the simulator is run
|
|
func init() {
|
|
GetSimulatorFlags()
|
|
}
|
|
|
|
// fauxMerkleModeOpt returns a BaseApp option to use a dbStoreAdapter instead of
|
|
// an IAVLStore for faster simulation speed.
|
|
func fauxMerkleModeOpt(bapp *baseapp.BaseApp) {
|
|
bapp.SetFauxMerkleMode()
|
|
}
|
|
|
|
// interBlockCacheOpt returns a BaseApp option function that sets the persistent
|
|
// inter-block write-through cache.
|
|
func interBlockCacheOpt() func(*baseapp.BaseApp) {
|
|
return baseapp.SetInterBlockCache(store.NewCommitKVStoreCacheManager())
|
|
}
|
|
|
|
func TestFullAppSimulation(t *testing.T) {
|
|
if !FlagEnabledValue {
|
|
t.Skip("skipping application simulation")
|
|
}
|
|
|
|
var logger log.Logger
|
|
config := NewConfigFromFlags()
|
|
config.ChainID = helpers.SimAppChainID
|
|
|
|
if FlagVerboseValue {
|
|
logger = log.TestingLogger()
|
|
} else {
|
|
logger = log.NewNopLogger()
|
|
}
|
|
|
|
var db dbm.DB
|
|
dir, _ := ioutil.TempDir("", "goleveldb-app-sim")
|
|
db, _ = sdk.NewLevelDB("Simulation", dir)
|
|
|
|
defer func() {
|
|
db.Close()
|
|
os.RemoveAll(dir)
|
|
}()
|
|
|
|
app := NewSimApp(logger, db, nil, true, FlagPeriodValue, fauxMerkleModeOpt)
|
|
require.Equal(t, "SimApp", app.Name())
|
|
|
|
// Run randomized simulation
|
|
_, simParams, simErr := simulation.SimulateFromSeed(
|
|
t, os.Stdout, app.BaseApp, AppStateFn(app.Codec(), app.sm),
|
|
SimulationOperations(app, app.Codec(), config),
|
|
app.ModuleAccountAddrs(), config,
|
|
)
|
|
|
|
// export state and params before the simulation error is checked
|
|
if config.ExportStatePath != "" {
|
|
err := ExportStateToJSON(app, config.ExportStatePath)
|
|
require.NoError(t, err)
|
|
}
|
|
|
|
if config.ExportParamsPath != "" {
|
|
err := ExportParamsToJSON(simParams, config.ExportParamsPath)
|
|
require.NoError(t, err)
|
|
}
|
|
|
|
require.NoError(t, simErr)
|
|
|
|
if config.Commit {
|
|
// for memdb:
|
|
// fmt.Println("Database Size", db.Stats()["database.size"])
|
|
fmt.Println("\nGoLevelDB Stats")
|
|
fmt.Println(db.Stats()["leveldb.stats"])
|
|
fmt.Println("GoLevelDB cached block size", db.Stats()["leveldb.cachedblock"])
|
|
}
|
|
}
|
|
|
|
func TestAppImportExport(t *testing.T) {
|
|
if !FlagEnabledValue {
|
|
t.Skip("skipping application import/export simulation")
|
|
}
|
|
|
|
var logger log.Logger
|
|
config := NewConfigFromFlags()
|
|
config.ChainID = helpers.SimAppChainID
|
|
|
|
if FlagVerboseValue {
|
|
logger = log.TestingLogger()
|
|
} else {
|
|
logger = log.NewNopLogger()
|
|
}
|
|
|
|
var db dbm.DB
|
|
dir, _ := ioutil.TempDir("", "goleveldb-app-sim")
|
|
db, _ = sdk.NewLevelDB("Simulation", dir)
|
|
|
|
defer func() {
|
|
db.Close()
|
|
os.RemoveAll(dir)
|
|
}()
|
|
|
|
app := NewSimApp(logger, db, nil, true, FlagPeriodValue, fauxMerkleModeOpt)
|
|
require.Equal(t, "SimApp", app.Name())
|
|
|
|
// Run randomized simulation
|
|
_, simParams, simErr := simulation.SimulateFromSeed(
|
|
t, os.Stdout, app.BaseApp, AppStateFn(app.Codec(), app.sm),
|
|
SimulationOperations(app, app.Codec(), config),
|
|
app.ModuleAccountAddrs(), config,
|
|
)
|
|
|
|
// export state and simParams before the simulation error is checked
|
|
if config.ExportStatePath != "" {
|
|
err := ExportStateToJSON(app, config.ExportStatePath)
|
|
require.NoError(t, err)
|
|
}
|
|
|
|
if config.ExportParamsPath != "" {
|
|
err := ExportParamsToJSON(simParams, config.ExportParamsPath)
|
|
require.NoError(t, err)
|
|
}
|
|
|
|
require.NoError(t, simErr)
|
|
|
|
if config.Commit {
|
|
// for memdb:
|
|
// fmt.Println("Database Size", db.Stats()["database.size"])
|
|
fmt.Println("\nGoLevelDB Stats")
|
|
fmt.Println(db.Stats()["leveldb.stats"])
|
|
fmt.Println("GoLevelDB cached block size", db.Stats()["leveldb.cachedblock"])
|
|
}
|
|
|
|
fmt.Printf("exporting genesis...\n")
|
|
|
|
appState, _, err := app.ExportAppStateAndValidators(false, []string{})
|
|
require.NoError(t, err)
|
|
fmt.Printf("importing genesis...\n")
|
|
|
|
newDir, _ := ioutil.TempDir("", "goleveldb-app-sim-2")
|
|
newDB, _ := sdk.NewLevelDB("Simulation-2", dir)
|
|
|
|
defer func() {
|
|
newDB.Close()
|
|
_ = os.RemoveAll(newDir)
|
|
}()
|
|
|
|
newApp := NewSimApp(log.NewNopLogger(), newDB, nil, true, FlagPeriodValue, fauxMerkleModeOpt)
|
|
require.Equal(t, "SimApp", newApp.Name())
|
|
|
|
var genesisState GenesisState
|
|
err = app.cdc.UnmarshalJSON(appState, &genesisState)
|
|
require.NoError(t, err)
|
|
|
|
ctxB := newApp.NewContext(true, abci.Header{Height: app.LastBlockHeight()})
|
|
newApp.mm.InitGenesis(ctxB, genesisState)
|
|
|
|
fmt.Printf("comparing stores...\n")
|
|
ctxA := app.NewContext(true, abci.Header{Height: app.LastBlockHeight()})
|
|
|
|
type StoreKeysPrefixes struct {
|
|
A sdk.StoreKey
|
|
B sdk.StoreKey
|
|
Prefixes [][]byte
|
|
}
|
|
|
|
storeKeysPrefixes := []StoreKeysPrefixes{
|
|
{app.keys[baseapp.MainStoreKey], newApp.keys[baseapp.MainStoreKey], [][]byte{}},
|
|
{app.keys[auth.StoreKey], newApp.keys[auth.StoreKey], [][]byte{}},
|
|
{app.keys[staking.StoreKey], newApp.keys[staking.StoreKey],
|
|
[][]byte{
|
|
staking.UnbondingQueueKey, staking.RedelegationQueueKey, staking.ValidatorQueueKey,
|
|
}}, // ordering may change but it doesn't matter
|
|
{app.keys[slashing.StoreKey], newApp.keys[slashing.StoreKey], [][]byte{}},
|
|
{app.keys[mint.StoreKey], newApp.keys[mint.StoreKey], [][]byte{}},
|
|
{app.keys[distr.StoreKey], newApp.keys[distr.StoreKey], [][]byte{}},
|
|
{app.keys[supply.StoreKey], newApp.keys[supply.StoreKey], [][]byte{}},
|
|
{app.keys[params.StoreKey], newApp.keys[params.StoreKey], [][]byte{}},
|
|
{app.keys[gov.StoreKey], newApp.keys[gov.StoreKey], [][]byte{}},
|
|
}
|
|
|
|
for _, storeKeysPrefix := range storeKeysPrefixes {
|
|
storeKeyA := storeKeysPrefix.A
|
|
storeKeyB := storeKeysPrefix.B
|
|
prefixes := storeKeysPrefix.Prefixes
|
|
|
|
storeA := ctxA.KVStore(storeKeyA)
|
|
storeB := ctxB.KVStore(storeKeyB)
|
|
|
|
failedKVAs, failedKVBs := sdk.DiffKVStores(storeA, storeB, prefixes)
|
|
require.Equal(t, len(failedKVAs), len(failedKVBs), "unequal sets of key-values to compare")
|
|
|
|
fmt.Printf("compared %d key/value pairs between %s and %s\n", len(failedKVAs), storeKeyA, storeKeyB)
|
|
require.Equal(t, len(failedKVAs), 0, GetSimulationLog(storeKeyA.Name(), app.sm.StoreDecoders, app.cdc, failedKVAs, failedKVBs))
|
|
}
|
|
}
|
|
|
|
func TestAppSimulationAfterImport(t *testing.T) {
|
|
if !FlagEnabledValue {
|
|
t.Skip("skipping application simulation after import")
|
|
}
|
|
|
|
var logger log.Logger
|
|
config := NewConfigFromFlags()
|
|
config.ChainID = helpers.SimAppChainID
|
|
|
|
if FlagVerboseValue {
|
|
logger = log.TestingLogger()
|
|
} else {
|
|
logger = log.NewNopLogger()
|
|
}
|
|
|
|
dir, _ := ioutil.TempDir("", "goleveldb-app-sim")
|
|
db, _ := sdk.NewLevelDB("Simulation", dir)
|
|
|
|
defer func() {
|
|
db.Close()
|
|
os.RemoveAll(dir)
|
|
}()
|
|
|
|
app := NewSimApp(logger, db, nil, true, FlagPeriodValue, fauxMerkleModeOpt)
|
|
require.Equal(t, "SimApp", app.Name())
|
|
|
|
// Run randomized simulation
|
|
stopEarly, simParams, simErr := simulation.SimulateFromSeed(
|
|
t, os.Stdout, app.BaseApp, AppStateFn(app.Codec(), app.sm),
|
|
SimulationOperations(app, app.Codec(), config),
|
|
app.ModuleAccountAddrs(), config,
|
|
)
|
|
|
|
// export state and params before the simulation error is checked
|
|
if config.ExportStatePath != "" {
|
|
err := ExportStateToJSON(app, config.ExportStatePath)
|
|
require.NoError(t, err)
|
|
}
|
|
|
|
if config.ExportParamsPath != "" {
|
|
err := ExportParamsToJSON(simParams, config.ExportParamsPath)
|
|
require.NoError(t, err)
|
|
}
|
|
|
|
require.NoError(t, simErr)
|
|
|
|
if config.Commit {
|
|
// for memdb:
|
|
// fmt.Println("Database Size", db.Stats()["database.size"])
|
|
fmt.Println("\nGoLevelDB Stats")
|
|
fmt.Println(db.Stats()["leveldb.stats"])
|
|
fmt.Println("GoLevelDB cached block size", db.Stats()["leveldb.cachedblock"])
|
|
}
|
|
|
|
if stopEarly {
|
|
// we can't export or import a zero-validator genesis
|
|
fmt.Printf("we can't export or import a zero-validator genesis, exiting test...\n")
|
|
return
|
|
}
|
|
|
|
fmt.Printf("exporting genesis...\n")
|
|
|
|
appState, _, err := app.ExportAppStateAndValidators(true, []string{})
|
|
require.NoError(t, err)
|
|
|
|
fmt.Printf("importing genesis...\n")
|
|
|
|
newDir, _ := ioutil.TempDir("", "goleveldb-app-sim-2")
|
|
newDB, _ := sdk.NewLevelDB("Simulation-2", dir)
|
|
|
|
defer func() {
|
|
newDB.Close()
|
|
_ = os.RemoveAll(newDir)
|
|
}()
|
|
|
|
newApp := NewSimApp(log.NewNopLogger(), newDB, nil, true, FlagPeriodValue, fauxMerkleModeOpt)
|
|
require.Equal(t, "SimApp", newApp.Name())
|
|
|
|
newApp.InitChain(abci.RequestInitChain{
|
|
AppStateBytes: appState,
|
|
})
|
|
|
|
// Run randomized simulation on imported app
|
|
_, _, err = simulation.SimulateFromSeed(
|
|
t, os.Stdout, newApp.BaseApp, AppStateFn(app.Codec(), app.sm),
|
|
SimulationOperations(newApp, newApp.Codec(), config),
|
|
newApp.ModuleAccountAddrs(), config,
|
|
)
|
|
|
|
require.NoError(t, err)
|
|
}
|
|
|
|
// TODO: Make another test for the fuzzer itself, which just has noOp txs
|
|
// and doesn't depend on the application.
|
|
func TestAppStateDeterminism(t *testing.T) {
|
|
if !FlagEnabledValue {
|
|
t.Skip("skipping application simulation")
|
|
}
|
|
|
|
config := NewConfigFromFlags()
|
|
config.InitialBlockHeight = 1
|
|
config.ExportParamsPath = ""
|
|
config.OnOperation = false
|
|
config.AllInvariants = false
|
|
config.ChainID = helpers.SimAppChainID
|
|
|
|
numSeeds := 3
|
|
numTimesToRunPerSeed := 5
|
|
appHashList := make([]json.RawMessage, numTimesToRunPerSeed)
|
|
|
|
for i := 0; i < numSeeds; i++ {
|
|
config.Seed = rand.Int63()
|
|
|
|
for j := 0; j < numTimesToRunPerSeed; j++ {
|
|
var logger log.Logger
|
|
if FlagVerboseValue {
|
|
logger = log.TestingLogger()
|
|
} else {
|
|
logger = log.NewNopLogger()
|
|
}
|
|
|
|
db := dbm.NewMemDB()
|
|
|
|
app := NewSimApp(logger, db, nil, true, FlagPeriodValue, interBlockCacheOpt())
|
|
|
|
fmt.Printf(
|
|
"running non-determinism simulation; seed %d: %d/%d, attempt: %d/%d\n",
|
|
config.Seed, i+1, numSeeds, j+1, numTimesToRunPerSeed,
|
|
)
|
|
|
|
_, _, err := simulation.SimulateFromSeed(
|
|
t, os.Stdout, app.BaseApp, AppStateFn(app.Codec(), app.sm),
|
|
SimulationOperations(app, app.Codec(), config),
|
|
app.ModuleAccountAddrs(), config,
|
|
)
|
|
require.NoError(t, err)
|
|
|
|
appHash := app.LastCommitID().Hash
|
|
appHashList[j] = appHash
|
|
|
|
if j != 0 {
|
|
require.Equal(
|
|
t, appHashList[0], appHashList[j],
|
|
"non-determinism in seed %d: %d/%d, attempt: %d/%d\n", config.Seed, i+1, numSeeds, j+1, numTimesToRunPerSeed,
|
|
)
|
|
}
|
|
}
|
|
}
|
|
}
|