Build builds a C program from source src and returns name of the resulting binary.

BuildExecutor builds the executor binary for tests.

BuildNoWarn is the same as Build, but ignores all compilation warnings.

Format reformats C source using clang-format.

Write generates C source for program p based on the provided options opt.

This is the main configuration used by executor, only for testing.

These are legacy options, they remain only for the sake of backward compatibility.

Options control various aspects of source generation.