C2PO Input Files [.c2po
]#
C2PO files are the default input to C2PO for defining specifications to monitor using R2U2. See the language description in the C2PO User Guide for details.
.c2po
]#C2PO files are the default input to C2PO for defining specifications to monitor using R2U2. See the language description in the C2PO User Guide for details.