"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/CodeThornOptions.h" between
rose-0.11.53.0.tar.gz and rose-0.11.54.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

CodeThornOptions.h  (rose-0.11.53.0):CodeThornOptions.h  (rose-0.11.54.0)
skipping to change at line 131 skipping to change at line 131
int testSelector=0; int testSelector=0;
bool intraProcedural=false; bool intraProcedural=false;
int precisionLevel=0; // keeps default configuration (if =0 configurePrecision Option does not change any settings) int precisionLevel=0; // keeps default configuration (if =0 configurePrecision Option does not change any settings)
bool pointerSetsEnabled=false; // used in more precise pointer analysis bool pointerSetsEnabled=false; // used in more precise pointer analysis
std::string csvReportModeString="generate"; std::string csvReportModeString="generate";
bool forkFunctionEnabled=false; bool forkFunctionEnabled=false;
std::string forkFunctionName=""; std::string forkFunctionName="";
bool sharedPStates=true; bool sharedPStates=true;
bool readWriteTrace=false;
// RERS C-subset program options // RERS C-subset program options
struct Rers { struct Rers {
std::string assertResultsOutputFileName; std::string assertResultsOutputFileName;
bool eliminateArrays=false; bool eliminateArrays=false;
std::string iSeqFile; std::string iSeqFile;
int iSeqLength=-1; int iSeqLength=-1;
int iSeqRandomNum=-1; int iSeqRandomNum=-1;
bool rersBinary=false; bool rersBinary=false;
bool rersNumeric=false; bool rersNumeric=false;
bool rersMode=false; bool rersMode=false;
 End of changes. 1 change blocks. 
0 lines changed or deleted 2 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)