Define PINOCCHIO_CONTEXT_FILE

Define Documentation

PINOCCHIO_CONTEXT_FILE