/**
* @covers ::setRedirect
*/
public function testSetRedirect()
{
$route_name = 'foo';
$route_parameters = ['bar' => 'baz'];
$options = ['qux' => 'foo'];
$this->decoratedFormState->setRedirect($route_name, $route_parameters, $options)->shouldBeCalled();
$this->assertSame($this->formStateDecoratorBase, $this->formStateDecoratorBase->setRedirect($route_name, $route_parameters, $options));
}
