Scilla test suite
Please read the Scilla Testing readme on how to run the test suite.
The test suite is based on the OUnit2 framework and is driven by the main module in tests/Testsuite.ml from the Scilla repo.
There are several types of tests run in the test suite. For instance, contracts tests run a full transition on a contract with all input data provided, and evaluation tests only test expression evaluation. The range of test suites can be found here.
There is a lot of useful Scilla information within the test structures such as this file containing all the ways to perform a RSR