mUtils.ml is a new file that will store the implementation for MARVeLus utility functions, such as printing data structures and the debug print interface.
This task consists of moving those definitions from z3refinement.ml to mUtils.ml. Make sure that the z3refinement.ml code still runs properly after the changes.
Compiler refactoring task
mUtils.ml is a new file that will store the implementation for MARVeLus utility functions, such as printing data structures and the debug print interface.
This task consists of moving those definitions from z3refinement.ml to mUtils.ml. Make sure that the z3refinement.ml code still runs properly after the changes.