Skip to content
GitLab
Explore
Sign in
TASTE
kazoo
Repository
kazoo
src
taste-semantic_check.adb
Find file
Blame
History
Permalink
Add semantic checks for SDL systems
· ae5d4b23
Maxime Perrotin
authored
Feb 16, 2021
- PI and RIs must have different names - PIs must be sporadic or have a single IN parameter
ae5d4b23