Program table symbol type consistency#3128

Closed

xbauch wants to merge 5 commits intodiffblue:developfrom

xbauch:program_table_symbol_type_consistency

Commits on Oct 9, 2018

Type consistency between goto programs and symbol table

Petr Bauch
authored and
Petr Bauch
committed
Check base types of symbol expressions in goto programs

Petr Bauch
authored and
Petr Bauch
committed
Add macros for goto model validation

danpoe
authored and
Petr Bauch
committed
Reworked based on the well-formedness checking skeleton of PR #3123

Petr Bauch
authored and
Petr Bauch
committed

Commits on Oct 11, 2018

Added unit test for wrong type in table

Petr Bauch
authored and
Petr Bauch
committed