Open karasakalmt opened 9 months ago
Implement state_eq predicate to compare simulated and initial db state feel free to use the json parser for that
state_eq
Implement
state_eq
predicate to compare simulated and initial db state feel free to use the json parser for that