12345678910 |
- TestOptions
- { forCompilers =
- [ (MAlonzo Lazy, CompilerOptions {extraAgdaArgs = []})
- , (MAlonzo StrictData, CompilerOptions {extraAgdaArgs = []})
- , (MAlonzo Strict, CompilerOptions {extraAgdaArgs = []})
- ]
- , runtimeOptions = []
- , executeProg = True
- }
|