tree 50af7afee6db5c1f74d52fed3e4be4861e29b8f8
parent f1f25c0f8145c45078ff628dedae6aa4b28d962d
author Jakob Degen <jakob.e.degen@gmail.com> 1648252833 -0400
committer Jakob Degen <jakob.e.degen@gmail.com> 1649704952 -0400

Adjust MIR validator to check a few more things for terminators