Enable the user to specify how should non deterministic code be handled. Use some explicit constant value? A symbolic variable which can be used in constraints? How should it work with regards to the generated code? Some isolation frameworks cannot mock such methods (DateTime.Now, Random.Shared.Next() etc...).
Enable the user to specify how should non deterministic code be handled. Use some explicit constant value? A symbolic variable which can be used in constraints? How should it work with regards to the generated code? Some isolation frameworks cannot mock such methods (DateTime.Now, Random.Shared.Next() etc...).