Issues

Cover the authorisation path of `withdrawable_of`

Fluxora-Org/Fluxora-Contracts#2070 · opened

on Oct 18, 2026

5

Prove `init` is safe to call twice

Fluxora-Org/Fluxora-Contracts#2069 · opened

on Oct 18, 2026

4

Cover `init` against every stream status

Fluxora-Org/Fluxora-Contracts#2068 · opened

on Oct 18, 2026

4

Cover the authorisation path of `init`

Fluxora-Org/Fluxora-Contracts#2066 · opened

on Oct 18, 2026

5

Prove `vested_of` is safe to call twice

Fluxora-Org/Fluxora-Contracts#2065 · opened

on Oct 18, 2026

6

Cover `vested_of` against every stream status

Fluxora-Org/Fluxora-Contracts#2064 · opened

on Oct 18, 2026

5

Pin the boundary behaviour of `vested_of`

Fluxora-Org/Fluxora-Contracts#2063 · opened

on Oct 18, 2026

5

Prove `transfer_recipient` is safe to call twice

Fluxora-Org/Fluxora-Contracts#2061 · opened

on Oct 18, 2026

5

Cover `transfer_recipient` against every stream status

Fluxora-Org/Fluxora-Contracts#2060 · opened

on Oct 18, 2026

6

Cover the authorisation path of `transfer_recipient`

Fluxora-Org/Fluxora-Contracts#2058 · opened

on Oct 18, 2026

5

Cover `set_halt_operator` against every stream status

Fluxora-Org/Fluxora-Contracts#2056 · opened

on Oct 18, 2026

5

Pin the boundary behaviour of `set_halt_operator`

Fluxora-Org/Fluxora-Contracts#2055 · opened

on Oct 18, 2026

4

Cover the authorisation path of `set_halt_operator`

Fluxora-Org/Fluxora-Contracts#2054 · opened

on Oct 18, 2026

5

Prove `stream_count` is safe to call twice

Fluxora-Org/Fluxora-Contracts#2053 · opened

on Oct 18, 2026

4

Prove `halt` is safe to call twice

Fluxora-Org/Fluxora-Contracts#2049 · opened

on Oct 18, 2026

4

Cover `halt` against every stream status

Fluxora-Org/Fluxora-Contracts#2048 · opened

on Oct 18, 2026

4

Prove `pause` is safe to call twice

Fluxora-Org/Fluxora-Contracts#2045 · opened

on Oct 18, 2026

5

Cover `pause` against every stream status

Fluxora-Org/Fluxora-Contracts#2044 · opened

on Oct 18, 2026

4

Cover the authorisation path of `pause`

Fluxora-Org/Fluxora-Contracts#2042 · opened

on Oct 18, 2026

4

Cover `delegate_top_up` against every stream status

Fluxora-Org/Fluxora-Contracts#2040 · opened

on Oct 18, 2026

6

Pin the boundary behaviour of `delegate_top_up`

Fluxora-Org/Fluxora-Contracts#2039 · opened

on Oct 18, 2026

6

Cover the authorisation path of `delegate_top_up`

Fluxora-Org/Fluxora-Contracts#2038 · opened

on Oct 18, 2026

4

Cover `delegate_pause` against every stream status

Fluxora-Org/Fluxora-Contracts#2036 · opened

on Oct 18, 2026

4

Pin the boundary behaviour of `delegate_pause`

Fluxora-Org/Fluxora-Contracts#2035 · opened

on Oct 18, 2026

4

Cover the authorisation path of `delegate_pause`

Fluxora-Org/Fluxora-Contracts#2034 · opened

on Oct 18, 2026

7

Navigation Menu

Repository navigation

Issues

Cover the authorisation path of `withdrawable_of`

Prove `init` is safe to call twice

Cover `init` against every stream status

Cover the authorisation path of `init`

Prove `vested_of` is safe to call twice

Cover `vested_of` against every stream status

Pin the boundary behaviour of `vested_of`

Prove `transfer_recipient` is safe to call twice

Cover `transfer_recipient` against every stream status

Cover the authorisation path of `transfer_recipient`

Cover `set_halt_operator` against every stream status

Pin the boundary behaviour of `set_halt_operator`

Cover the authorisation path of `set_halt_operator`

Prove `stream_count` is safe to call twice

Prove `halt` is safe to call twice

Cover `halt` against every stream status

Prove `pause` is safe to call twice

Cover `pause` against every stream status

Cover the authorisation path of `pause`

Cover `delegate_top_up` against every stream status

Pin the boundary behaviour of `delegate_top_up`

Cover the authorisation path of `delegate_top_up`

Cover `delegate_pause` against every stream status

Pin the boundary behaviour of `delegate_pause`

Cover the authorisation path of `delegate_pause`