Imandra Test Runner AST

An open source AST for reasoning about FIX type objects.

Building and formatting code

Run

make build

to build the project;

make format

to format the code

and

make clean

to clean the build.