Scripting#

czz can be scripted using Scheme. The API is unstable, and not yet even particularly well-documented.

API Reference#

czz#

czz-bv-lit#

ExprBuilder -> Number -> Number -> Expr

czz-default-fuzz-config#

FuzzConfig

czz-fuzz#

Fuzzer -> FuzzConfig -> Either FuzzError State

word#

Corresponding to Haskell’s Data.Word.

word-bit-reverse-8#

Fuzzer -> FuzzConfig -> Either FuzzError State