Select concrete class for abstract types#1100

Merged

thk123 merged 10 commits intodiffblue:test-gen-supportfrom

thk123:feature/select-concrete-class-for-abstract-types

Jul 11, 2017

Commits on Jul 11, 2017

Code tidy changes
thk123
committed
Add class for randomly selecting a concrete child of an abstract class
thk123
committed
Make class derived from object factory

Owen Jones
authored and
thk123
committed
Made the random selection alphabetical instead of random
thk123
committed
Removed extra code and just combined into gen_nondet_pointer_init
thk123
committed
Modified definition of abstract to not fall over on void* types
thk123
committed
Adding regression tests showing the modified gen code works
thk123
committed
Don't require pointers point to classes
thk123
committed
Made jsonArrays test less strict
thk123
committed
Removing whitespace that causes an error on windows
thk123
committed