FrankenScript's tests currently only check the final status (Success or Failure) of the executable after running a script. The type of error is never checked.
I think the best and easiest way would be to add snapshot testing. In Clippy, we use snapshot testing with the ui_tests crate and that has been working well for us. This would require some normalization of the memory addresses, as suggested by #54.