Module Builtins_print_c

module Builtins_print_c: sig .. end
Translate a Value state into a bunch of C assertions


This file is experimental, and partly tuned to Csmith programs. In particular, it might not follow your machdep, or fail to translate some variables. Use at your own risk
val pretty_state_as_c_assert : Cvalue.Model.t Pretty_utils.formatter
val pretty_state_as_c_assignments : Cvalue.Model.t Pretty_utils.formatter