diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-07 15:28:45 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-07 15:28:45 +0200 |
| commit | 6129ebdf0d8549f3e4d23aa771f2c06020182b7e (patch) | |
| tree | 591d5644fb518e51ab45657446afbf89b4f51a96 /source/Test/Golden.hs | |
| parent | cbac8ca4a5bf8ff38af3e512956ea1e468965194 (diff) | |
Created first urysohn formalization
Diffstat (limited to 'source/Test/Golden.hs')
| -rw-r--r-- | source/Test/Golden.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/Test/Golden.hs b/source/Test/Golden.hs index 705aaa5..c01c249 100644 --- a/source/Test/Golden.hs +++ b/source/Test/Golden.hs @@ -39,6 +39,7 @@ testOptions = Api.Options , withTimeLimit = Provers.defaultTimeLimit , withVersion = Api.WithoutVersion , withMegalodon = Api.WithoutMegalodon + , withFailList = Api.WithoutFailList } goldenTests :: IO TestTree |