Code for Lecture 10

Use this folder for examples of:

• architecture constraints
• structural tests
• taste invariants
• remediation-oriented lint messages