Skip to content

Commit 8c4e9ee

Browse files
committed
test: register ProvideRecordLoad and VisitConflicts inventory
Keep RawNode exported-method correspondence inventory aligned with the new public APIs.
1 parent 973602e commit 8c4e9ee

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

tests/refinementtrace/inventory_test.go

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,8 @@ var rawNodeMethodContracts = map[string]rawNodeMethodContract{
4545
"Status": {},
4646
"BootstrapClosure": {},
4747
"BootstrapStatus": {},
48+
"VisitConflicts": {},
49+
"ProvideRecordLoad": {Mutates: true, Models: []string{"ReadyAdvance.tla", "EPaxosRawNodeRefinement.tla"}, Gap: "async folded-record reload is covered by Go tests; no RawNode refinement-trace action yet"},
4850
}
4951

5052
func exportedRawNodeMethods(t *testing.T) map[string]struct{} {

0 commit comments

Comments
 (0)