Skip to content
Snippets Groups Projects
Commit f2098a97 authored by Mirco Dotta's avatar Mirco Dotta
Browse files

Very basic test that shows that FunCheck ForAll transformation works.

parent 61b68c63
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 12 additions and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment