Feature request: support for argc, argv about genmc HOT 4 OPEN

Apart from making argument parsing a bit different, I don't see any major issues. I'll add it in my TODOs.

Michalis

from genmc.

Perhaps it would be also possible to manually (and optionally) mark a point in the main() where the initialization has finished (with some __VERIFIER_...). So that updates before that point are considered part of the [INIT] state. That could help initializing memory with bzero() or other things while not causing mixed-size accesses. May be this would be too much sugar... :-D

from genmc.

I looked a bit into providing support for argc and argv, but it will make parsing more complicated if we are to maintain backward compatibility. If you do have cases where using CFLAGS is not adequate, I could provide a separate switch -argv which would then be used to pass runtime arguments. How does that sound?

from genmc.

That sounds perfect.

from genmc.