Skip to content

Latest commit

 

History

History
4 lines (2 loc) · 213 Bytes

README.md

File metadata and controls

4 lines (2 loc) · 213 Bytes

This repository contains a work-in-progress VDM-SL schema for validating URDF files against the URDF wiki.

The tests can be run using the Tests/Test.vdmsl script.