Disable ir-check for now

This commit is contained in:
Ayaz Hafiz 2023-01-25 15:16:37 -06:00
parent 741b1a1bd5
commit 01ef3ffd02
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -150,7 +150,7 @@ fn compiles_to_ir(test_name: &str, src: &str, mode: &str, no_check: bool) {
let main_fn_symbol = exposed_to_host.values.keys().copied().next();
if !no_check {
if !no_check && false {
check_procedures(arena, &interns, &mut layout_interner, &procedures);
}