bend-kit-property@0.2.0.0 relies on unsafe/foreign

0x37dffd823fd9cfaa0f8d0b8861238158

Pure generators: each takes a Rand.Rng and returns a value beside the next state.

bend-kit-property@0.2.0.0 by paymog

Published

2026-10-09

Size

15,897 bytes, 3 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 66 defs, 1 types

Import

import bend-kit-property@0.2.0.0/generate.bend as Generate
import 0x37dffd823fd9cfaa0f8d0b8861238158/generate.bend as Generate
import bend-kit-property@0.2.0.0/property.bend as Property
import 0x37dffd823fd9cfaa0f8d0b8861238158/property.bend as Property
import bend-kit-property@0.2.0.0/shrink.bend as Shrink
import 0x37dffd823fd9cfaa0f8d0b8861238158/shrink.bend as Shrink

Modules

• generate.bend 32 declarations — Pure generators: each takes a Rand.Rng and returns a value beside the next state.
• property.bend 15 declarations — Reproducible property checks with generated inputs and greedy shrinking.
• shrink.bend 21 declarations — Shrinkers: each maps a value to its simpler candidates, simplest first.

Dependencies

• bend-kit-random@0.1.0.1 via generate.bend: import bend-kit-random@0.1.0.1/random.bend as Rand
• bend-kit-bytes@0.3.1.0 via generate.bend: import bend-kit-bytes@0.3.1.0/bytes.bend as Bytes

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 2 defs rely on unsafe or foreign code:
- 0x46b9429cbffa7a8c1111ce19c60a3d6a/random.entropy
- 0x46b9429cbffa7a8c1111ce19c60a3d6a/random.from_os

SOME PROOFS FAIL
Error: 2 defs rely on unsafe or foreign code:
- 0x46b9429cbffa7a8c1111ce19c60a3d6a/random.entropy
- 0x46b9429cbffa7a8c1111ce19c60a3d6a/random.from_os