"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/codethorn.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.

codethorn.C  (rose-0.11.49.0):codethorn.C  (rose-0.11.50.0)
skipping to change at line 80 skipping to change at line 80
using namespace CodeThornLib; using namespace CodeThornLib;
// required for createSolver function // required for createSolver function
#include "Solver5.h" #include "Solver5.h"
#include "Solver16.h" #include "Solver16.h"
#include "Solver8.h" #include "Solver8.h"
#include "ltlthorn-lib/Solver10.h" #include "ltlthorn-lib/Solver10.h"
#include "ltlthorn-lib/Solver11.h" #include "ltlthorn-lib/Solver11.h"
#include "ltlthorn-lib/Solver12.h" #include "ltlthorn-lib/Solver12.h"
const std::string versionString="1.13.14";
void configureRersSpecialization() { void configureRersSpecialization() {
#ifdef RERS_SPECIALIZATION #ifdef RERS_SPECIALIZATION
// only included in hybrid RERS analyzers. // only included in hybrid RERS analyzers.
// Init external function pointers for generated property state // Init external function pointers for generated property state
// marshalling functions (5 function pointers named: // marshalling functions (5 function pointers named:
// RERS_Problem::...FP, are initialized in the following external // RERS_Problem::...FP, are initialized in the following external
// function. // function.
// An implementation of this function is linked with the hybrid analyzer // An implementation of this function is linked with the hybrid analyzer
extern void RERS_Problem_FunctionPointerInit(); extern void RERS_Problem_FunctionPointerInit();
RERS_Problem_FunctionPointerInit(); RERS_Problem_FunctionPointerInit();
skipping to change at line 171 skipping to change at line 169
CodeThorn::CodeThornLib::configureRose(); CodeThorn::CodeThornLib::configureRose();
configureRersSpecialization(); configureRersSpecialization();
CodeThorn::initDiagnosticsLTL(); CodeThorn::initDiagnosticsLTL();
TimingCollector tc; TimingCollector tc;
tc.startTimer(); tc.startTimer();
CodeThornOptions ctOpt; CodeThornOptions ctOpt;
LTLOptions ltlOpt; // to be moved into separate tool LTLOptions ltlOpt; // to be moved into separate tool
ParProOptions parProOpt; // options only available in parprothorn ParProOptions parProOpt; // options only available in parprothorn
parseCommandLine(argc, argv, logger,versionString,ctOpt,ltlOpt,parProOpt); parseCommandLine(argc, argv, logger,CodeThorn::CodeThornLib::getCodeThornLib raryVersionNumber(),ctOpt,ltlOpt,parProOpt);
mfacilities.control(ctOpt.logLevel); SAWYER_MESG(logger[TRACE]) << "Log leve l is " << ctOpt.logLevel << endl; mfacilities.control(ctOpt.logLevel); SAWYER_MESG(logger[TRACE]) << "Log leve l is " << ctOpt.logLevel << endl;
ctOpt.configurePrecisionOption(); ctOpt.configurePrecisionOption();
IOAnalyzer* analyzer=CodeThornLib::createAnalyzer(ctOpt,ltlOpt); // sets ctO pt,ltlOpt in analyzer IOAnalyzer* analyzer=CodeThornLib::createAnalyzer(ctOpt,ltlOpt); // sets ctO pt,ltlOpt in analyzer
CodeThornLib::optionallyRunInternalChecks(ctOpt,argc,argv); CodeThornLib::optionallyRunInternalChecks(ctOpt,argc,argv);
CodeThornLib::optionallyRunExprEvalTestAndExit(ctOpt,argc,argv); CodeThornLib::optionallyRunExprEvalTestAndExit(ctOpt,argc,argv);
analyzer->configureOptions(ctOpt,ltlOpt,parProOpt); analyzer->configureOptions(ctOpt,ltlOpt,parProOpt);
analyzer->setSolver(createSolver(ctOpt)); analyzer->setSolver(createSolver(ctOpt));
analyzer->setOptionContextSensitiveAnalysis(ctOpt.contextSensitive); analyzer->setOptionContextSensitiveAnalysis(ctOpt.contextSensitive);
optionallySetRersMapping(ctOpt,ltlOpt,analyzer); optionallySetRersMapping(ctOpt,ltlOpt,analyzer);
 End of changes. 2 change blocks. 
3 lines changed or deleted 1 lines changed or added

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