Add a 'test verifier' sub-test.

This test runs the verifier on each function and matches the resulting verifier error against the "error:" annotation. Move the existing verifier test into filetests/verifier/ and use the new syntex.
2016-09-16 16:19:47 -07:00
parent c3afc1f2be
commit b5b1ee23b5
7 changed files with 88 additions and 69 deletions
--- a/filetests/cfg/loop.cton
+++ b/filetests/cfg/loop.cton
@@ -1,5 +1,6 @@
 ; For testing cfg generation. This code is nonsense.
 test print-cfg
+test verifier

 function nonsense(i32, i32) -> f32 {
 ; check: digraph nonsense {