Don't require the `type-info` property to be given
The documentation says about the type-info
property:
This property is used to specify the type system used by the generator. You should specify a type system even for dynamically typed languages so that programs don’t just crash with dynamic type errors.
But "should" is misleading, as it seems Xsmith will not generate a program without a type-info
declaration.
I haven't looked into it yet, but I would rather keep the "should" and make type-checking optional contingent on the presence of a type-info
property instead of requiring it to be supplied.