Use Crucible goal-proving helpers in testing code #777

Annotations

11 warnings

Pattern match(es) are non-exhaustive

• No explicit implementation for

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of type constructor or class ‘Doc’

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant