kani

Module vec

source

Functionsยง

  • any_vec
    Generates an arbitrary vector whose length is at most MAX_LENGTH.
  • exact_vec
    Generates an arbitrary vector that is exactly EXACT_LENGTH long.