General Predicate Testing Profiling Profiling on MacOS can be done with cargo-instruments. Refer to its installation documentation. Example profiling command: cargo instruments -t time --release run --no-show --algo none ../examples/gpt-lang/complex.gpt