muSpectre/tests/header_test_slip_laws.cc

bugfix/T2542