Searched defs:Bitwidth (Results 1 – 1 of 1) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/tests/utils/ |
| H A D | mod.rs | 18 pub enum Bitwidth { enum
107 pub fn custom_result(f: &TestResultBuilder) -> Vec<(Bitwidth, VerificationResult)> { in custom_result()
175 tr: Vec<(Bitwidth, VerificationResult)>, in test_from_file_with_lhs_termname_simple()
197 tr: Vec<(Bitwidth, VerificationResult)>, in test_aarch64_rule_with_lhs_termname_simple()
218 tr: Vec<(Bitwidth, VerificationResult)>, in test_x64_rule_with_lhs_termname_simple()
239 tr: Vec<(Bitwidth, VerificationResult)>, in test_from_file_with_config_simple()
250 pub fn test_aarch64_with_config_simple(config: Config, tr: Vec<(Bitwidth, VerificationResult)>) { in test_aarch64_with_config_simple()
|