Some tests are located in the src/tests directory. A lot of these unit tests should be instead be in a tests submodule in the relevant module to uphold the Rust standard (https://doc.rust-lang.org/book/ch11-03-test-organization.html). For example, a lot of the clock reduction tests should probably be moved to src/System/extract_system_rep.rs and src/TransitionSystems/transition_system.rs.
Some tests are located in the
src/testsdirectory. A lot of these unit tests should be instead be in atestssubmodule in the relevant module to uphold the Rust standard (https://doc.rust-lang.org/book/ch11-03-test-organization.html). For example, a lot of the clock reduction tests should probably be moved tosrc/System/extract_system_rep.rsandsrc/TransitionSystems/transition_system.rs.