UpdateWorkspaceCounterexamples Property

An array of objects defining input examples that have been marked as irrelevant input.

public List<CreateCounterexample> Counterexamples { get; set; }