Searched refs:parse_annotations (Results 1 – 3 of 3) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | verify.rs | 10 use crate::annotations::parse_annotations;
25 let annotation_env = parse_annotations(&defs, &termenv, &typeenv); in verify_rules()
|
| H A D | annotations.rs | 334 pub fn parse_annotations(defs: &[Def], termenv: &TermEnv, typeenv: &TypeEnv) -> AnnotationEnv { in parse_annotations() function
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/tests/utils/ |
| H A D | mod.rs | 10 use veri_engine_lib::annotations::parse_annotations;
113 let annotation_env = parse_annotations(&defs, &termenv, &typeenv); in test_rules_with_term()
271 let annotation_env = parse_annotations(&defs, &termenv, &typeenv); in test_concrete_aarch64_rule_with_lhs_termname()
312 let annotation_env = parse_annotations(&defs, &termenv, &typeenv); in test_concrete_input_from_file_with_lhs_termname()
|