prog: refactor generation of resources

Currnetly we loop up to 1000 times in randGen.createResource,
this is necessary because we can't guarantee that the generated syscall
will indeed contain the necessary resources. This is ugly.

Now that we have stricter constructors (no unions) with few additional tweaks
we can guarantee that we generate the resource every time.

Generate at least 1 array element when in createResource.
Don't generate special empty pointers when in createResource.
Record only resource constructors in Syscall.outputResource,
this makes rotation logic to include at least 1 of them.

0 files changed, 0 insertions, 0 deletions