Module testing

Functions

generate_random_inst_wit_core

Generates a random core instance and witness

generate_random_inst_wit_relaxed

Generates a relaxed instance and witness. Note that the result of this function is not an instance-witness pair produced by a valid folding procedure, but just a generic relaxed pair instead.