> But should be loaded when loading Magma tester right? Yes. Although it's a separate package, not required to be able to run the Magma test cases, it's just a "very related" testing package because it tests some of Magma's core behaviors. It's a pretty small package that isn't worth making the user load separately, IMO..