[go: up one dir, main page]

SCORU,Tests: refutation tezt tests for wasm not working

The loser mode of the rollup node does not work exactly has expected for the wasm kernel that is used in the tests (Gather_floppies). The messages are uninterpreted and ignored, so the ticks mentioned in the test do not make sense.
In almost all the tests, the misbehaving node does not misbehave and so there are no refutation game to be played.

!6134 (closed) improves the tests to highlight this problem, but the tests should be fixed for the wasm pvm.

A temporary workaround could be:

  • make all failures happen on tick 0 for the wasm tests
  • we also need to insert the failure in the state (for tick zero) instead of simply mutating the input, or make sure that the gather floppies implementation changes the state for uninterpreted inputs,
  • we can also generate different messages for the wasm tests that would make sense for the gather floppies kernel (but we need to make sure that, the mutations that we introduce also make sense).