Я пытаюсь создать не пустой генератор строк, но при запуске теста у меня все еще есть пустые строки в качестве входных данных. Вот код, который я написал: [Test] public void MyTest() { Func<Gen<string>>...

Я пытаюсь инициализировать объекты моей модели с помощью FsCheck. Модели живут на C# и обычно инициализируются через Entity Framework через их частные сеттеры. Например (придумано): public class Model { public string One { get; private set;...

Функция «propertyCheck», на которую ссылается мой тестовый метод, НЕ распознается, когда я пытаюсь создать свой тест. Я думал, что propertyChecked — это основная функция фреймворка FsCheck? Какую еще церемонию мне нужно провести? module...

Мне нужно сгенерировать уникальные строки, отличные от null , которые будут использоваться в качестве ключей Dictionary . Я пробовал что-то вроде: public static Gen<NonNull<string>> UniqueStrings() { return from s in...

Как я могу установить условия для тестовых входных данных при выполнении тестирования на основе свойств? Например, следующий код генерирует логические значения, когда мне нужны целые числа: Gen.map (fun v -> v > 0) Вот функция:...

Компилятор принимает следующую строку: input |> Prop.forAll <| fun (a , b) -> add a b = add b a Однако, когда я заменяю оператор обратного конвейера скобками, я получаю сообщение об ошибке: input |> Prop.forAll ( fun (a , b)...

В моем предыдущем вопросе Курт указал мне на этот код FsCheck о настройке типа Arbitrary . У меня есть следующее Arbitrary (отказ от ответственности: я понятия не имею, что я делаю..., по-прежнему нахожу FsCheck общеизвестно трудным для...

Я пытаюсь научиться правильно использовать FsCheck и в данный момент интегрирую его с Expecto. Я могу запустить тесты свойств, если использую конфигурацию FsCheck по умолчанию, но когда я пытаюсь использовать свой собственный генератор, это вызывает...

let list p = if List.contains " " p || List.contains null p then false else true У меня есть такая функция, чтобы проверить, хорошо ли отформатирован список. В списке не должно быть пустой строки и нулей. Я не понимаю, чего мне не хватает,...

При написании тестов на F# я пытаюсь генерировать полезные сообщения о состоянии, которое вызвало ошибки. В python я бы включил все locals(), чтобы они были легко доступны в тестовой трассировке. Есть ли аналогичная конструкция в F#? Я искал в...