Use Crucible goal-proving helpers in testing code #776

Annotations

11 warnings

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):

In the use of ‘parens’

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

The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant