SM-coarse static checker started
Created by: jhaazpr
Enforce invariants such as:
-
A spec must have all the required properties like blocks -
A stage must have the correct number of driving motors
Add more later
Created by: jhaazpr
Enforce invariants such as:
Add more later