diff options
| -rw-r--r-- | rules.js | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -7049,10 +7049,10 @@ exports.setup = function (seed, scenario, options) { } exports.is_checkpoint = function (a, b) { - if (!a.log) return true - let ax = a.log[a.log.length-2].startsWith(".h2") - let bx = b.log[b.log.length-2].startsWith(".h2") - return bx && (!ax || a.log.length !== b.log.length) + let an = 0, bn = 0 + for (let line of a.log) if (line.startsWith(".h2")) ++an + for (let line of b.log) if (line.startsWith(".h2")) ++bn + return an !== bn } exports.view = function(state, current) { |