Home

rtcg is a prototype test code generator for RoboStar's model-derived tests.

Tools

• rtcg-read-traces
• rtcg-make-stms
• rtcg-gen

Input languages

• Traces
• Generator configuration

Languages supported

C++

• C++ animate
• C++ ROS