These tests are not intended for the general public.  They only work with
a hacked version of Amber 7.0.