Skip to content

Commit fcf1ffe

Browse files
committed
test: inventory ProvideRecordLoad only until VisitConflicts lands
1 parent 4b34960 commit fcf1ffe

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

tests/refinementtrace/inventory_test.go

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,6 @@ var rawNodeMethodContracts = map[string]rawNodeMethodContract{
4545
"Status": {},
4646
"BootstrapClosure": {},
4747
"BootstrapStatus": {},
48-
"VisitConflicts": {},
4948
"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"},
5049
}
5150

0 commit comments

Comments
 (0)