Re: Errors running Magma Tests