Search results

Own testsuite: race condition for test <code>withResource</code>

consoleRegarding printing to console (colors, races, ...)Regarding printing to console (colors, races, ...)

testsuiteConcerning tasty-silver's own test suiteConcerning tasty-silver's own test suite

Status: Open.

#39 In agda/tasty-silver;

· andreasabel opened on Oct 20, 2023

<code>localOption</code> is ignored by <code>defaultMain</code>

bug

optionConcerning options (OptionSet)Concerning options (OptionSet)

Status: Open.

#32 In agda/tasty-silver;

· andreasabel opened on Sep 8, 2021

Support for tasty test dependencies (Non-exhaustive pattern match warnings with tasty-1.4.1)

Status: Open.

#28 In agda/tasty-silver;

· sjakobi opened on Jul 6, 2021

Add choice "ignore" to update golden value "yes/no"

Status: Open.

#19 In agda/tasty-silver;

· andreasabel opened on Mar 26, 2020

Include trivial example in the haddock.

Status: Open.

#13 In agda/tasty-silver;

· alexanderkjeldaas opened on Feb 14, 2017

In summary, mention names of test cases which failed

Status: Open.

#12 In agda/tasty-silver;

· andreasabel opened on Sep 21, 2016

Document test runner

Status: Open.

#5 In agda/tasty-silver;

· phile314 opened on Apr 13, 2015

Add simple example

Status: Open.

#4 In agda/tasty-silver;

· phile314 opened on Apr 13, 2015