Closed skynavga closed 9 years ago
Add 'ttml10-sdp-us' verification model to allow verification of SDP-US constraints above and beyond what applies to TTML10 itself.
This issue was moved to skynav/ttt#19
Add 'ttml10-sdp-us' verification model to allow verification of SDP-US constraints above and beyond what applies to TTML10 itself.