[Feature Request] Problem for Enum

[zhenyu-zhou]

I find that, if a data structure contains enum field, such field won't be made symbolic although I tried to make all fields symbolic.

I totally understand enums are (immutable) objects and cannot be handled directly. And currently I have several makeshifts for this:

1. Add a wrapper for the target function.
   Such wrapper has an integer parameter, which allows the SUT to assign different enum types accordingly. If we change the target function to this wrapper and make the integer parameter symbolic, the enum can be "symbolic" as well.
2. Add an integer field in the data structure to control the enum type accordingly.
   This may require a deep modification for the SUT. I myself don't prefer it.
3. Call getTypeValue() to convert enum to its integer value.
   Then it seems to work for me - the underlying integer value could be symbolic.

Please let me know whether I'm on the right way for this issue or if you have any more suggestions.

Perhaps the documentation can contain such guidance as well? (Please let me know if it already talks about such issue.)

Thanks!