| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/ |
| H A D | annotation_ir.rs | 53 pub assertions: Vec<Box<Expr>>, field
58 pub fn new(sig: TermSignature, assumptions: Vec<Expr>, assertions: Vec<Expr>) -> Self { in new()
62 assertions: assertions.iter().map(|x| Box::new(x.clone())).collect(), in new()
70 pub fn assertions(&self) -> Vec<Expr> { in assertions() method
|
| /wasmtime-44.0.1/tests/all/ |
| H A D | fuel.rs | 11 assertions: Vec<(Span, u64, wast::core::Module<'a>)>, field
16 let mut assertions = Vec::new(); in parse() localVariable
18 assertions.push(parser.parens(|p| { in parse()
23 Ok(FuelWast { assertions }) in parse()
34 for (span, fuel, module) in wast.assertions.iter_mut() { in run()
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | type_inference.rs | 60 assertions: Vec<veri_ir::Expr>, field
2062 assertions, in create_parse_tree_pattern()
2083 assertions: vec![], in create_parse_tree_pattern()
2110 assertions: vec![], in create_parse_tree_pattern()
2131 assertions: vec![], in create_parse_tree_pattern()
2142 assertions: vec![], in create_parse_tree_pattern()
2167 assertions: vec![], in create_parse_tree_pattern()
2179 assertions: vec![], in create_parse_tree_pattern()
2191 assertions: vec![], in create_parse_tree_pattern()
2217 assertions: vec![], in create_parse_tree_pattern()
[all …]
|
| H A D | annotations.rs | 384 assertions: vec![], in parse_annotations()
413 let mut assertions = vec![]; in parse_annotations() localVariable
419 assertions.push(Box::new(spec_to_expr(a, &env))); in parse_annotations()
425 assertions, in parse_annotations()
|
| H A D | solver.rs | 1590 let assertions: Vec<SExpr> = rule_sem in declare_variables() localVariable
1613 (assumptions, assertions) in declare_variables()
1854 let (assumptions, mut assertions) = ctx.declare_variables(rulectx.rule_sem, rulectx.config); in run_solver_with_static_widths()
1920 assertions.push(*a); in run_solver_with_static_widths()
1924 let mut full_condition = if !assertions.is_empty() { in run_solver_with_static_widths()
1925 let assertion_conjunction = ctx.smt.and_many(assertions.clone()); in run_solver_with_static_widths()
2007 if !assertions.is_empty() { in run_solver_with_static_widths()
2008 let vals = ctx.smt.get_value(assertions).unwrap(); in run_solver_with_static_widths()
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/egraph/ |
| H A D | issue-7891.clif | 12 ; Unfortunately, we can't currently write test assertions about which alternatives
15 ; assertions in the egraph pass if the above rule is broken.
|
| /wasmtime-44.0.1/docs/ |
| H A D | contributing-testing.md | 154 the Wast-style assertions, you can add it to our "misc testsuite". The misc
155 testsuite uses the same syntax and assertions as the spec testsuite, but lives
|
| H A D | contributing-fuzzing.md | 170 validate and instantiate it, and (implicitly) check that no assertions failed or
|
| /wasmtime-44.0.1/ |
| H A D | Cargo.toml | 217 # When enabled, `cfg(gc_zeal)` activates aggressive GC debugging assertions.
682 # Omit assertions, which include failure messages which require string
684 debug-assertions = false
692 debug-assertions = false
|
| /wasmtime-44.0.1/crates/c-api/include/ |
| H A D | wasm.h | 35 inline void assertions(void) { in assertions() function
|
| /wasmtime-44.0.1/cranelift/docs/ |
| H A D | testing.md | 277 on assertions or verifier errors, but it is also possible to use
|
| /wasmtime-44.0.1/supply-chain/ |
| H A D | imports.lock | 3071 unsafety is verified with copious assertions (many are compile-time), and
|
| H A D | audits.toml | 2127 Well documented invariants, good assertions for those invariants in unsafe code,
3000 relevant assertions, although could use some comments and some slight
|
| /wasmtime-44.0.1/crates/c-api/ |
| H A D | doxygen.conf.in | 939 EXCLUDE_SYMBOLS = assertions \
|