@Test
public void testCtor_customFormat() {

    Format format = new Format() {};
    PropagatorStack propagatorStack= new PropagatorStack(format);
    assertTrue(propagatorStack.propagators.isEmpty());
    assertEquals(propagatorStack.format(), format);
}