Test Case Generator & Expression Tree Visualizer

...

This Test Case Generator is designed to validate the correctness of a compiler that translates high-level arithmetic expressions into a lower-level stack-based instruction set. The high-level language, represented in OCaml, includes constructs for variables, constants, and arithmetic operations like addition, multiplication, and negation.

The compiler's role is to convert these high-level expressions into a sequence of stack-based instructions, such as pushing constants or variables onto the stack, or performing arithmetic operations on the top elements of the stack.

The generated test cases will provide a variety of high-level expressions and their expected corresponding stack-based instructions. These are intended to rigorously test whether your compiler is translating the high-level expressions accurately and efficiently into the lower-level stack operations.