There are various functions in prelude/grandom that can be used
to conveniently generate lists and arrays of random content:
For instance, here is an example for testing list_append:
//
val xs = grandom_list(10)
val ys = grandom_list(20)
//
val () = println! ("xs = ", xs)
val () = println! ("ys = ", ys)
//
val () = assertloc(length(xs)+length(ys) = length(list_append(xs, ys)))
//
For more related code, please see:
–Hongwei