Reply To: Using single-dimension, dynamically-sized arrays in instance-based operations

[John Wolfe]

Verifier supports arrays, including variable-length ones. But, at the moment, I cannot remember the magic for declaring a variable-length array as a temporary variable. I think I’ve done it in the past, so let me know if it matters to you, and I’ll try to recall how to do it.
In any case, here is an example of an instance-based operation returning a variable-length array of integers. It uses an attribute declared as a variable-length array to collect the values and then returns the value of that attribute.
https://github.com/johnrwolfe/ArrayReturn