Global variable initialization
tomsik68 opened this issue · 1 comments
tomsik68 commented
Initializers of global variables that are a constant expression are unsupported. This covers for example: cast of another global var. or extraction of value from global var that is struct/array.
This is important for sv-comp benchmarks.