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

0x3d583666c77e74b1325ef80c1d9aa07f

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

bend-kit-property@0.1.0.0 by paymog

Published

2026-09-28

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.1.0.0/generate.bend as Generate
import 0x3d583666c77e74b1325ef80c1d9aa07f/generate.bend as Generate
import bend-kit-property@0.1.0.0/property.bend as Property
import 0x3d583666c77e74b1325ef80c1d9aa07f/property.bend as Property
import bend-kit-property@0.1.0.0/shrink.bend as Shrink
import 0x3d583666c77e74b1325ef80c1d9aa07f/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.0 via generate.bend: import bend-kit-random@0.1.0.0/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:
- 0x0fab7442f5a423ac9ee7dc17899842b0/random.entropy
- 0x0fab7442f5a423ac9ee7dc17899842b0/random.from_os

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