"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/CodeThornCommandLineOptions.C" between
rose-0.11.49.0.tar.gz and rose-0.11.50.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.

CodeThornCommandLineOptions.C  (rose-0.11.49.0):CodeThornCommandLineOptions.C  (rose-0.11.50.0)
skipping to change at line 172 skipping to change at line 172
("minings-per-subsets",po::value< int >(&parProOpt.miningsPerSubset)->defaul t_value(-1),"Number of randomly generated properties that are evaluated based on one subset of parallel components (Default: 50).") ("minings-per-subsets",po::value< int >(&parProOpt.miningsPerSubset)->defaul t_value(-1),"Number of randomly generated properties that are evaluated based on one subset of parallel components (Default: 50).")
("ltl-properties-output",po::value< string >(&parProOpt.ltlPropertiesOutput) ,"Writes the analyzed LTL properties to file <arg>.") ("ltl-properties-output",po::value< string >(&parProOpt.ltlPropertiesOutput) ,"Writes the analyzed LTL properties to file <arg>.")
("promela-output",po::value< string >(&parProOpt.promelaOutput),"Writes a pr omela program reflecting the synchronized automata of option \"--automata-dot-in put\" to file <arg>. Includes LTL properties if analyzed.") ("promela-output",po::value< string >(&parProOpt.promelaOutput),"Writes a pr omela program reflecting the synchronized automata of option \"--automata-dot-in put\" to file <arg>. Includes LTL properties if analyzed.")
("promela-output-only", po::value< bool >(&parProOpt.promelaOutputOnly)->def ault_value(false)->implicit_value(true),"Only generate Promela code, skip analys is of the input .dot graphs.") ("promela-output-only", po::value< bool >(&parProOpt.promelaOutputOnly)->def ault_value(false)->implicit_value(true),"Only generate Promela code, skip analys is of the input .dot graphs.")
("output-with-results", po::value< bool >(&parProOpt.outputWithResults)->def ault_value(false)->implicit_value(true),"Include results for the LTL properties in generated promela code and LTL property files .") ("output-with-results", po::value< bool >(&parProOpt.outputWithResults)->def ault_value(false)->implicit_value(true),"Include results for the LTL properties in generated promela code and LTL property files .")
("output-with-annotations", po::value< bool >(&parProOpt.outputWithAnnotatio ns)->default_value(false)->implicit_value(true),"Include annotations for the LTL properties in generated promela code and LTL property files .") ("output-with-annotations", po::value< bool >(&parProOpt.outputWithAnnotatio ns)->default_value(false)->implicit_value(true),"Include annotations for the LTL properties in generated promela code and LTL property files .")
("verification-engine",po::value< string >(&parProOpt.verificationEngine),"C hoose which backend verification engine is used (ltsmin|[spot]).") ("verification-engine",po::value< string >(&parProOpt.verificationEngine),"C hoose which backend verification engine is used (ltsmin|[spot]).")
; ;
experimentalOptions.add_options() experimentalOptions.add_options()
("ast-symbol-check",po::value< bool >(&ctOpt.astSymbolCheckFlag)->default_va ("ast-symbol-check",po::value< bool >(&ctOpt.astSymbolCheckFlag)->default_va
lue(true),"Allows to turn off the AST consistency symbol check (by default the c lue(true),"Allows to make the tool exit immediately if the AST symbol check repo
heck is enabled).") rts any error.")
("vim-report-file",po::value< string >(&ctOpt.vimReportFileName),"Generates
a report of variable id mapping (always includes ast symbol check results).")
("array-abstraction-index",po::value< int > (&ctOpt.arrayAbstractionIndex)-> default_value(-1),"Set array abstraction index, starting at which an array summa ry is computed.") ("array-abstraction-index",po::value< int > (&ctOpt.arrayAbstractionIndex)-> default_value(-1),"Set array abstraction index, starting at which an array summa ry is computed.")
("run-solver", po::value< bool >(&ctOpt.runSolver)->default_value(true),"If turned off all fix-point algorithms are skipped.") ("run-solver", po::value< bool >(&ctOpt.runSolver)->default_value(true),"If turned off all fix-point algorithms are skipped.")
("omp-ast", po::value< bool >(&ctOpt.ompAst)->default_value(false)->implicit _value(true),"Flag for using the OpenMP AST - useful when visualizing the ICFG." ) ("omp-ast", po::value< bool >(&ctOpt.ompAst)->default_value(false)->implicit _value(true),"Flag for using the OpenMP AST - useful when visualizing the ICFG." )
("normalize-level", po::value< int >(&ctOpt.normalizeLevel)->default_value(0 ),"Normalize all expressions (2), only fcalls (1), turn off (0).") ("normalize-level", po::value< int >(&ctOpt.normalizeLevel)->default_value(0 ),"Normalize all expressions (2), only fcalls (1), turn off (0).")
("normalize-extended", po::value<bool >(&ctOpt.extendedNormalizedCppFunction Calls)->default_value(false)->implicit_value(true),"Normalize CPP function calls .") ("normalize-extended", po::value<bool >(&ctOpt.extendedNormalizedCppFunction Calls)->default_value(false)->implicit_value(true),"Normalize CPP function calls .")
("normalize-phase-info", po::value<bool > (&ctOpt.normalizePhaseInfo)->defau lt_value(false)->implicit_value(true),"Print phase progression info on stdout du ring normalization.") ("normalize-phase-info", po::value<bool > (&ctOpt.normalizePhaseInfo)->defau lt_value(false)->implicit_value(true),"Print phase progression info on stdout du ring normalization.")
("strict-checking", po::value<bool >(&ctOpt.strictChecking)->default_value(f alse)->implicit_value(true),"Perform strict checking in semantics (mostly useful for testing), otherwise compute conservative value.") ("strict-checking", po::value<bool >(&ctOpt.strictChecking)->default_value(f alse)->implicit_value(true),"Perform strict checking in semantics (mostly useful for testing), otherwise compute conservative value.")
("inline", po::value< bool >(&ctOpt.inlineFunctions)->default_value(false)-> implicit_value(false),"inline functions before analysis .") ("inline", po::value< bool >(&ctOpt.inlineFunctions)->default_value(false)-> implicit_value(false),"inline functions before analysis .")
("inlinedepth",po::value< int >(&ctOpt.inlineFunctionsDepth)->default_value( 10),"Default value is 10. A higher value inlines more levels of function calls." ) ("inlinedepth",po::value< int >(&ctOpt.inlineFunctionsDepth)->default_value( 10),"Default value is 10. A higher value inlines more levels of function calls." )
("annotate-terms", po::value< bool >(&ctOpt.annotateTerms)->default_value(fa lse)->implicit_value(true),"Annotate term representation of expressions in unpar sed program.") ("annotate-terms", po::value< bool >(&ctOpt.annotateTerms)->default_value(fa lse)->implicit_value(true),"Annotate term representation of expressions in unpar sed program.")
 End of changes. 1 change blocks. 
3 lines changed or deleted 5 lines changed or added

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