cerc-io/lotus
16
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 27 Wiki Activity

invoke the statediff command properly.

Browse Source
This commit is contained in:
Raúl Kripalani 2020-09-09 14:08:54 +01:00
parent a5afd83c7b
commit 2a3743ff84
1 changed files with 18 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
conformance/runner_test.go
View File

@ -194,8 +194,10 @@ func executeMessageVector(t *testing.T, vector *schema.TestVector) {
// Once all messages are applied, assert that the final state root matches // Once all messages are applied, assert that the final state root matches
// the expected postcondition root. // the expected postcondition root.
if root != vector.Post.StateTree.RootCID { if expected, actual := vector.Post.StateTree.RootCID, root; expected != actual {
t.Logf("actual state root CID doesn't match expected one; expected: %s, actual: %s", expected, actual)
dumpThreeWayStateDiff(t, vector, bs, root) dumpThreeWayStateDiff(t, vector, bs, root)
t.FailNow()
} }
} }
@ -239,8 +241,10 @@ func executeTipsetVector(t *testing.T, vector *schema.TestVector) {
// Once all messages are applied, assert that the final state root matches // Once all messages are applied, assert that the final state root matches
// the expected postcondition root. // the expected postcondition root.
if root != vector.Post.StateTree.RootCID { if expected, actual := vector.Post.StateTree.RootCID, root; expected != actual {
t.Logf("actual state root CID doesn't match expected one; expected: %s, actual: %s", expected, actual)
dumpThreeWayStateDiff(t, vector, bs, root) dumpThreeWayStateDiff(t, vector, bs, root)
t.FailNow()
} }
} }
@ -290,26 +294,30 @@ func dumpThreeWayStateDiff(t *testing.T, vector *schema.TestVector, bs blockstor
d1 = color.New(color.FgGreen, color.Bold).Sprint("[Δ1]") d1 = color.New(color.FgGreen, color.Bold).Sprint("[Δ1]")
d2 = color.New(color.FgGreen, color.Bold).Sprint("[Δ2]") d2 = color.New(color.FgGreen, color.Bold).Sprint("[Δ2]")
d3 = color.New(color.FgGreen, color.Bold).Sprint("[Δ3]") d3 = color.New(color.FgGreen, color.Bold).Sprint("[Δ3]")
cmd *exec.Cmd
) )
printDiff := func(left, right cid.Cid) {
cmd := exec.Command("statediff", "car", "--file", tmpCar, left.String(), right.String())
b, err := cmd.CombinedOutput()
if err != nil {
t.Fatalf("statediff failed: %s", err)
}
t.Log(string(b))
}
bold := color.New(color.Bold).SprintfFunc() bold := color.New(color.Bold).SprintfFunc()
// run state diffs. // run state diffs.
t.Log(bold("=== dumping 3-way diffs between %s, %s, %s ===", a, b, c)) t.Log(bold("=== dumping 3-way diffs between %s, %s, %s ===", a, b, c))
t.Log(bold("--- %s left: %s; right: %s ---", d1, a, b)) t.Log(bold("--- %s left: %s; right: %s ---", d1, a, b))
cmd = exec.Command("statediff", tmpCar, vector.Post.StateTree.RootCID.String(), actual.String()) printDiff(vector.Post.StateTree.RootCID, actual)
t.Log(cmd.CombinedOutput())
t.Log(bold("--- %s left: %s; right: %s ---", d2, c, b)) t.Log(bold("--- %s left: %s; right: %s ---", d2, c, b))
cmd = exec.Command("statediff", tmpCar, vector.Pre.StateTree.RootCID.String(), actual.String()) printDiff(vector.Pre.StateTree.RootCID, actual)
t.Log(cmd.CombinedOutput())
t.Log(bold("--- %s left: %s; right: %s ---", d3, c, a)) t.Log(bold("--- %s left: %s; right: %s ---", d3, c, a))
cmd = exec.Command("statediff", tmpCar, vector.Pre.StateTree.RootCID.String(), vector.Post.StateTree.RootCID.String()) printDiff(vector.Pre.StateTree.RootCID, vector.Post.StateTree.RootCID)
t.Log(cmd.CombinedOutput())
} }
// writeStateToTempCAR writes the provided roots to a temporary CAR that'll be // writeStateToTempCAR writes the provided roots to a temporary CAR that'll be