Errors statically detected

These errors are detected by Smac when it reads and interprets your programs.

• Control structures
• Function definitions and calls
• Assignment
• Operators
• Initialization
• Array
• Redefinition
• Others