File Formats# File Formats C2PO Input Files [.c2po] MLTL Formula Files [.mltl] R2U2 Assembly [.asm] R2U2 Configuration Binary Files [.bin] Signal Map Files [.map] Signal Trace Files [.csv]
