Sabaun Taraki comments

Results 35 comments of


                                            Sabaun Taraki

Test gear-protocol storage transition invariants

It requires moving checks from `utils/economic-checks` to fuzzer and removing the former one.

Re-check gas reduction and charge fairness

related to #2822

Incorrect network behavior in `gtest `

@MedovTimur please re-check the issue on the latest `gtest` as such case is must be handled right now same as it's in runtime

Add `Debug` Trait for `Mailbox` in gtest

@MedovTimur still actual? (see the latest version of the `gtest`)

Create pre-allocated resources in programs from `wasm-gen`

This is actually a solution for #3274.

Create pre-allocated resources in programs from `wasm-gen`

3274 was: > ### Problem to Solve > > Almost all `gr_send_commit*` executions were unsuccessful in accordance to > coverage report. That's because of inconsistency of calls to `gr_send_commit*`, >...

Make it able to define `wasm-gen` config in `runtime-fuzzer` from caller side (i.e., fuzz target)

Also apply this into implementing a test for the crash input `b09f6282c0e906c06168e7fc22fb5417c3f6fafb-pr-3496-gas5k-delay10k`. Define a syscalls params config for it such that gas is set to 5k and messages delay is...

Fix tests which use plain WAT as a tested program

There must not be any false tests, or tests which test nothing and etc.

Re-think config of allowed values for params in `wasm-gen`

accidentally closed

Re-think config of allowed values for params in `wasm-gen`

Actually not worth being a separate task