Skip to main content

Module expr

foundry_evm_symbolic::runtime

Module expr 

Source

Modules§

bool 🔒
cx 🔒
hashcons 🔒
word 🔒

Structs§

ExpressionFoldCache 🔒
Results from one deterministic bottom-up expression fold.
ModelEvaluator 🔒
Evaluates hash-consed expressions once per model.
NoopModel 🔒

Functions§

eval_model_constraints 🔒