CI: Install SMT solvers #67
Annotations
18 warnings
|
Build
The import of ‘Control.Applicative’ is redundant
|
|
Build
Unhandled instruction definitions for ISA: 18
|
|
Build
The import of ‘Data.String’ is redundant
|
|
Build
The import of ‘+, <=’
|
|
Build
• No explicit implementation for
|
|
Build
Pattern match is redundant
|
|
Build
Pattern match(es) are non-exhaustive
|
|
Build
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
|
|
Build
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
|
|
Build
In the use of type constructor or class ‘Doc’
|
|
Run translator tests:
tests/Main.hs#L36
• Fields of ‘SA.StubsFunction’ not initialised:
|
|
Run translator tests:
tests/Main.hs#L60
• Fields of ‘SA.StubsFunction’ not initialised:
|
|
Run translator tests:
tests/Main.hs#L82
• Fields of ‘SA.StubsFunction’ not initialised:
|
|
Run translator tests:
tests/Main.hs#L105
• Fields of ‘SA.StubsFunction’ not initialised:
|
|
Run translator tests:
tests/Main.hs#L120
• Fields of ‘SA.StubsFunction’ not initialised:
|
|
Run translator tests:
tests/Main.hs#L128
• Fields of ‘SA.StubsFunction’ not initialised:
|
|
Run translator tests:
tests/Main.hs#L142
• Fields of ‘SA.StubsFunction’ not initialised:
|
|
Run translator tests:
tests/Main.hs#L157
• Fields of ‘SA.StubsFunction’ not initialised:
|
Loading