The following descriptions in the ini files cause problems for Windows Visual Studio users. In this case, the ini file reader cannot recognize the // as the comment delimiter, and the setting parameter is handled as STRING_VALUE // Comment, not STRING_VALUE.
string_parameter = STRING_VALUE // Comment
Windows users can fix this problem by changing the ini file without // Comment.
string_parameter = STRING_VALUE
or write a comment in another line
// Comment
string_parameter = STRING_VALUE
Conditions of occurrence
Windows Visual Studio users.
Additional information
The standard ini file specification uses the ; as the comment delimiter, not //.
However, the S2E defines the // as the comment delimiter in ini files.
Details
Description
The following descriptions in the
inifiles cause problems for Windows Visual Studio users. In this case, theinifile reader cannot recognize the//as the comment delimiter, and the setting parameter is handled asSTRING_VALUE // Comment, notSTRING_VALUE.Windows users can fix this problem by changing the
inifile without// Comment.or write a comment in another line
Conditions of occurrence
Windows Visual Studio users.
Additional information
inifile specification uses the;as the comment delimiter, not//.//as the comment delimiter ininifiles.// Commentworks for all usersTasks
//in the Windows environmentImpact
Windows user only.
Supplementary notes
Related PRs and issues. https://github.com/ut-issl/s2e-core/pull/575 https://github.com/ut-issl/s2e-core/issues/254 https://github.com/ut-issl/s2e-core/issues/549
Notes