A recorded step in the input sequence — used for replay and error reporting
| 118 | |
| 119 | /** A recorded step in the input sequence — used for replay and error reporting */ |
| 120 | interface InputRecord { |
| 121 | input: string; |
| 122 | payload: unknown; |
| 123 | } |
| 124 | |
| 125 | /** |
| 126 | * Thrown when walkAll detects an invariant violation. Carries the seed and |
nothing calls this directly
no outgoing calls
no test coverage detected