~/bend-docscommunity

src/CrashPoint.bend relies on unsafe/foreign

raw source on the hub · import mylsm-lsm-store@0.4.0.0/src/CrashPoint.bend as CrashPoint

3 imports
import Base
import ./Console.bend as Console
import ./CrashPointPolicy.bend as Policy

Definitions

def hit_decision source · line 11 · raw

@active:Bool -> @name:String -> IO(Result<&1, &1, Pair(U32, String), Unit>)

Resolve the hit for decision for the crash injection interface.

def hit source · line 20 · raw

@+name:String -> IO(Result<&1, &1, Pair(U32, String), Unit>)

Test-only checkpoint. Environment lookup and activation policy stay in Bend; only marker emission and SIGSTOP remain in the host twins.

Effects (foreign code)

effect stop source · line 6 · raw

@name:String -> IO(Result<&1, &1, Pair(U32, String), Unit>)

Irreducible host boundary: emit an unbuffered marker and stop this process.

foreign: src/effs/crash_point.c, src/effs/crash_point.js