tiny fix in c++ test file

WolfgangWaltenberger · WolfgangWaltenberger · commit a2b509d408f7 · 2025-04-20T11:42:03.000+02:00
diff --git a/cpp/SModelS.cc b/cpp/SModelS.cc
@@ -62,7 +62,7 @@ void SModelS::loadDatabase ( const string & parameterfile )
   PyRun_SimpleString( "parser = modelTester.getParameters( parameterFile )" );
   PyRun_SimpleString( "database = modelTester.loadDatabase(parser, None )" );
   PyRun_SimpleString( "modelTester.loadDatabaseResults(parser, database)" );
-  PyRun_SimpleString( "print ( '[smodels.cpp] %d experimental results found.' % len(listOfExpRes) ) " );
+  PyRun_SimpleString( "print ( '[smodels.cpp] %d experimental results found.' % len(database.getExpResults() ) ) " );
 }
 
 int SModelS::run ( const string & inFile )

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@ void SModelS::loadDatabase ( const string & parameterfile )`
`62`	`62`	`PyRun_SimpleString( "parser = modelTester.getParameters( parameterFile )" );`
`63`	`63`	`PyRun_SimpleString( "database = modelTester.loadDatabase(parser, None )" );`
`64`	`64`	`PyRun_SimpleString( "modelTester.loadDatabaseResults(parser, database)" );`
`65`		`- PyRun_SimpleString( "print ( '[smodels.cpp] %d experimental results found.' % len(listOfExpRes) ) " );`
	`65`	`+ PyRun_SimpleString( "print ( '[smodels.cpp] %d experimental results found.' % len(database.getExpResults() ) ) " );`
`66`	`66`	`}`
`67`	`67`
`68`	`68`	`int SModelS::run ( const string & inFile )`