Skip to content
This repository has been archived by the owner on Aug 12, 2024. It is now read-only.

False positive about always False precondition #31

Closed
treiher opened this issue Jan 14, 2021 · 0 comments
Closed

False positive about always False precondition #31

treiher opened this issue Jan 14, 2021 · 0 comments
Labels
Found in Community 2020 SPARK

Comments

@treiher
Copy link
Member

treiher commented Jan 14, 2021

Issue

GNATprove spuriously warns about always False precondition.

Workaround

The warning can be suppressed.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
Found in Community 2020 SPARK
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@senier @treiher