Verifies all functions in a testfile
(testfile: &TestFile, fisa: FlagsOrIsa)
| 100 | |
| 101 | // Verifies all functions in a testfile |
| 102 | fn verify_testfile(testfile: &TestFile, fisa: FlagsOrIsa) -> anyhow::Result<()> { |
| 103 | for (func, _) in &testfile.functions { |
| 104 | verify_function(func, fisa) |
| 105 | .map_err(|errors| anyhow::anyhow!("{}", pretty_verifier_error(&func, None, errors)))?; |
| 106 | } |
| 107 | |
| 108 | Ok(()) |
| 109 | } |
| 110 | |
| 111 | // Given a slice of tests, generate a vector of (test, flags, isa) tuples. |
| 112 | fn test_tuples<'a>( |
no test coverage detected