Skip to content
Snippets Groups Projects
Commit 7e1f04f7 authored by David Bühler's avatar David Bühler Committed by Andre Maroneze
Browse files

[Eva] Adds a test of the evaluation of ACSL extended quantifiers \min and \max.

parent 4a4685f3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment