Configuration.WithReproducibleTrace method

Updates the configuration to try reproduce the specified trace during systematic testing.

public Configuration WithReproducibleTrace(string trace)

parameter	description
trace	The trace to be reproduced.

See Also

• class Configuration
• namespace Microsoft.Coyote
• assembly Microsoft.Coyote