Module `Test_cache`

val pe : string -> unit
val make_fix_msg : Z.t -> Full_messages.full_valid_fix_msg
val cache : Full_messages.full_valid_fix_msg list
val new_cache : Full_messages.full_valid_fix_msg list
val check_cache : (Full_messages.full_valid_fix_msg list * Imandra_prelude.int) -> unit: Can we transition correctly?