Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[move] Migrate most move-ir-compiler unit_tests
This commit migrates most of the move-ir-compiler unit_tests, from Rust unit tests (which use Rust strings to represent Move IR programs), to the transactional test runner. Two sets of tests remain as Rust unit tests: 1. Tests of the VM control flow graph. As far as I can tell, these should either be moved out of the move-ir-compiler test suite, or they require a transactional test runner that can verify the control-flow graph of a Move program, or they should be deleted. In any case, I'll do this in a separate commit. 2. Tests that use Rust to programmatically generate hundreds of functions and locals. Maybe these out to remain as Rust unit tests. All tests other than these 2 kinds have been migrated to the transactional test runner. In doing so, I also categorized and documented the tests. 1. Tests of whether some text can be parsed as Move IR have been moved to a `parsing` directory. 2. Tests of whether bytecode can be generated from some parsed Move IR have been moved to a `bytecode-generation` directory. 3. Tests of the specification language have been moved to a `specification` directory. Within each of these categories, tests of the same concept across several files have been combined into a single file. For example, all tests of how comments are parsed are now in `parsing/comments.mvir`. Closes: #10055
- Loading branch information