lotus/conformance/runner_test.go

196 lines
5.1 KiB
Go
Raw Normal View History

package conformance
import (
"bytes"
"compress/gzip"
"context"
"encoding/json"
"flag"
"io/ioutil"
"os"
"path/filepath"
"strings"
"testing"
"github.com/filecoin-project/lotus/chain/types"
"github.com/filecoin-project/lotus/chain/vm"
"github.com/filecoin-project/lotus/lib/blockstore"
2020-08-19 16:33:30 +00:00
"github.com/filecoin-project/test-vectors/schema"
"github.com/ipld/go-car"
)
const (
2020-08-15 22:57:27 +00:00
// defaultCorpusRoot is the directory where the test vector corpus is hosted.
// It is mounted on the Lotus repo as a git submodule.
//
2020-08-15 22:57:27 +00:00
// When running this test, the corpus root can be overridden through the
2020-08-16 21:22:12 +00:00
// -conformance.corpus CLI flag to run an alternate corpus.
2020-08-16 21:15:12 +00:00
defaultCorpusRoot = "../extern/test-vectors/corpus"
)
var (
2020-08-16 21:22:12 +00:00
// corpusRoot is the effective corpus root path, taken from the `-conformance.corpus` CLI flag,
2020-08-15 22:57:27 +00:00
// falling back to defaultCorpusRoot if not provided.
corpusRoot string
// ignore is a set of paths relative to root to skip.
ignore = map[string]struct{}{
".git": {},
"schema.json": {},
}
2020-08-16 21:22:12 +00:00
skip bool
)
func init() {
2020-08-16 21:22:12 +00:00
// read the alternative root from the -conformance.corpus CLI flag.
flag.StringVar(&corpusRoot, "conformance.corpus", defaultCorpusRoot, "test vector corpus directory")
if strings.TrimSpace(os.Getenv("SKIP_CONFORMANCE")) == "1" {
skip = true
}
}
// TestConformance is the entrypoint test that runs all test vectors found
2020-08-15 22:57:27 +00:00
// in the corpus root directory.
//
// It locates all json files via a recursive walk, skipping over the ignore set,
// as well as files beginning with _. It parses each file as a test vector, and
// runs it via the Driver.
func TestConformance(t *testing.T) {
2020-08-16 21:22:12 +00:00
if skip {
t.SkipNow()
}
var vectors []string
2020-08-15 22:57:27 +00:00
err := filepath.Walk(corpusRoot+"/", func(path string, info os.FileInfo, err error) error {
if err != nil {
t.Fatal(err)
}
filename := filepath.Base(path)
2020-08-15 22:57:27 +00:00
rel, err := filepath.Rel(corpusRoot, path)
if err != nil {
t.Fatal(err)
}
if _, ok := ignore[rel]; ok {
// skip over using the right error.
if info.IsDir() {
return filepath.SkipDir
}
return nil
}
if info.IsDir() {
// dive into directories.
return nil
}
if filepath.Ext(path) != ".json" {
// skip if not .json.
return nil
}
if ignored := strings.HasPrefix(filename, "_"); ignored {
// ignore files starting with _.
t.Logf("ignoring: %s", rel)
return nil
}
vectors = append(vectors, rel)
return nil
})
if err != nil {
t.Fatal(err)
}
if len(vectors) == 0 {
t.Fatalf("no test vectors found")
}
// Run a test for each vector.
for _, v := range vectors {
2020-08-16 21:15:12 +00:00
path := filepath.Join(corpusRoot, v)
raw, err := ioutil.ReadFile(path)
if err != nil {
t.Fatalf("failed to read test raw file: %s", path)
}
2020-08-19 16:33:30 +00:00
var vector schema.TestVector
2020-08-16 21:15:12 +00:00
err = json.Unmarshal(raw, &vector)
if err != nil {
t.Errorf("failed to parse test vector %s: %s; skipping", path, err)
continue
}
2020-08-16 21:15:12 +00:00
t.Run(v, func(t *testing.T) {
// dispatch the execution depending on the vector class.
switch vector.Class {
case "message":
executeMessageVector(t, &vector)
default:
t.Fatalf("test vector class not supported: %s", vector.Class)
}
})
}
}
// executeMessageVector executes a message-class test vector.
2020-08-19 16:33:30 +00:00
func executeMessageVector(t *testing.T, vector *schema.TestVector) {
var (
ctx = context.Background()
epoch = vector.Pre.Epoch
root = vector.Pre.StateTree.RootCID
)
bs := blockstore.NewTemporary()
// Read the base64-encoded CAR from the vector, and inflate the gzip.
buf := bytes.NewReader(vector.CAR)
r, err := gzip.NewReader(buf)
if err != nil {
t.Fatalf("failed to inflate gzipped CAR: %s", err)
}
defer r.Close() // nolint
// Load the CAR embedded in the test vector into the Blockstore.
_, err = car.LoadCar(bs, r)
if err != nil {
t.Fatalf("failed to load state tree car from test vector: %s", err)
}
// Create a new Driver.
driver := NewDriver(ctx, vector)
// Apply every message.
for i, m := range vector.ApplyMessages {
msg, err := types.DecodeMessage(m.Bytes)
if err != nil {
t.Fatalf("failed to deserialize message: %s", err)
}
// add an epoch if one's set.
if m.Epoch != nil {
epoch = *m.Epoch
}
2020-08-15 22:57:27 +00:00
// Execute the message.
var ret *vm.ApplyRet
ret, root, err = driver.ExecuteMessage(msg, root, bs, epoch)
if err != nil {
t.Fatalf("fatal failure when executing message: %s", err)
}
2020-08-15 22:57:27 +00:00
// Assert that the receipt matches what the test vector expects.
receipt := vector.Post.Receipts[i]
if expected, actual := receipt.ExitCode, ret.ExitCode; expected != actual {
t.Errorf("exit code of msg %d did not match; expected: %s, got: %s", i, expected, actual)
}
if expected, actual := receipt.GasUsed, ret.GasUsed; expected != actual {
t.Errorf("gas used of msg %d did not match; expected: %d, got: %d", i, expected, actual)
}
}
2020-08-15 22:57:27 +00:00
// Once all messages are applied, assert that the final state root matches
// the expected postcondition root.
if root != vector.Post.StateTree.RootCID {
2020-08-16 21:15:12 +00:00
// TODO trigger state diff on failure (@willscott)
t.Errorf("wrong post root cid; expected %vector , but got %vector", vector.Post.StateTree.RootCID, root)
}
}