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

- Added Array to built-in generators (this is done by extending the Arbitray... 

- Added Array to built-in generators (this is done by extending the Arbitray and Shrinker object with the necessary logic). 

- Added some commented code that might be useful in future in ForallInjection class
parent d516b3ef
Branches
Tags
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment