public NebulaCheck.IGen <Test> IfTheReplayIsInAnInvalidFormat_ItThrows() =>
from gen in DomainGen.Gen()
from func in Gen.Function <object, bool>(Gen.Boolean())
from replay in Gen.Constant("0")
select Property.ForThese(() =>
{
var property = gen.ForAll(func);
Action test = () => property.Check(replay: replay);
test.Should()
.Throw <GalaxyCheck.Exceptions.GenErrorException>()
.WithMessage("Error decoding replay string:*");
});