Closed
Description
654e5ef breaks compilation on VS2013, the following error is thrown at line 654e5ef#diff-ba2b5f5d3e79b8c6148e5408cbb82f3fR218:
c:\projects\cbmc\src\goto-programs\goto_program_template.h(218) : error C2057: expected constant expression
c:\projects\cbmc\src\goto-programs\goto_program.h(51) : see reference to class template instantiation 'goto_program_templatet<codet,exprt>::instructiont' being compiled
The complete compilation output is here. Note that the output contains a lot of test fails, but these are not related to the commit.
The commit still compiles fine on VS2015. Tested on AppVeyor, as I don't have a local Windows VM available.