foundry_evm_symbolic/runtime/expr/mod.rs
1use super::*;
2
3mod bool;
4mod cx;
5pub(super) mod hashcons;
6#[path = "expr.rs"]
7mod word;
8
9struct NoopModel;
10
11impl SymbolicModelLookup for NoopModel {
12 fn value(&self, _name: Symbol) -> Option<U256> {
13 None
14 }
15}
16
17pub(crate) use bool::*;
18pub(crate) use cx::*;
19pub(crate) use word::*;