LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ Required Section "[C/C++ Texas Instruments Code Composer v5.0 RM48L950 Hercules Serial LDRAunit-TI-Qual]" not found in C:\ProgramData\LDRA\ldraunit-ti-qual9.4.3.ini Ensure ldraunit-ti-qual9.4.3.ini file above exists. Windows 7 Users should ensure the TESTBED environment variable exists. LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ Generating Make file for C:\ti\Hercules\SAFETI~1\24661E~1.0_L\Test\TMS570~1\SAFETY~1\Tests\ADC\UnitTest\ADC_UT~1.XLS ... MakeFile Generation Passed Generating TCF file for C:\ti\Hercules\SAFETI~1\24661E~1.0_L\Test\TMS570~1\SAFETY~1\Tests\ADC\UnitTest\ADC_UT~1.XLS...Name "main::Procedure" used only once: possible typo at C:\ti\Hercules\SafeTI Diagnostic Library\2.4.0_LDRA_Less\Test\Misc\Scripts\Generate_TCF.pl line 881. Use of uninitialized value $TCF_Description in scalar chomp at C:\ti\Hercules\SafeTI Diagnostic Library\2.4.0_LDRA_Less\Test\Misc\Scripts\Generate_TCF.pl line 597. Use of uninitialized value $TCF_Description in concatenation (.) or string at C:\ti\Hercules\SafeTI Diagnostic Library\2.4.0_LDRA_Less\Test\Misc\Scripts\Generate_TCF.pl line 718. 4Qt: Untested Windows version 6.2 detected! ---------------------------- Initialising License started ---------------------------- ----------------------------- Initialising License finished ----------------------------- Unable to retrieve generic license information ...Logging on Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Qualsys started Qualsys process started Qualsys process finished Qualsys finished You have decided to change the contents or properties of this set. If you do this Testbed will force the deletion of ALL interdependent results and workfiles. The results from Main Static Analysis, Complexity Analysis and the generated instrumented source files will NOT be deleted as they are not interdependent. No files added or removed as valid analysis results exist ---------------------------------------------- Loading set TMS570LC43x_SafeTI_Library started ---------------------------------------------- ----------------------------------------------- Loading set TMS570LC43x_SafeTI_Library finished ----------------------------------------------- Command line: "C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\Conunit-ti-qual.exe" TMS570LC43x_SafeTI_Library /create_set=system /add_set_file="C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c" /add_set_file="C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c" /add_set_file="C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c" /add_set_file="C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c" /add_set_file="C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c" /add_set_file="C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c" /1q ------------------------- Command Line Mode started ------------------------- TCF Generation Passed Executing Testcase for C:\ti\Hercules\SAFETI~1\24661E~1.0_L\Test\TMS570~1\SAFETY~1\Tests\ADC\UnitTest\ADC_UT~1.tcf LDRA Install Dir:C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\ C:\PROGRA~2\LDRA\LDRAUN~1.3\LDRAconunit-ti-qual.exe TMS570LC43x_SafeTI_Library -tcf_mode=overwrite /21q -tcf=C:\ti\Hercules\SAFETI~1\24661E~1.0_L\Test\TMS570~1\SAFETY~1\Tests\ADC\UnitTest\ADC_UT~1.tcf -regress -quitQt: Untested Windows version 6.2 detected! ********************************************************* Welcome to TBrun(TM) The LDRA Testbed Test Harness Generator Version 9.4.3 Copyright Liverpool Data Research Associates Ltd. ********************************************************* ---------------------------- Initialising License started ---------------------------- ----------------------------- Initialising License finished ----------------------------- Unable to retrieve generic license information -------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_init_2.glm -------------------------------------------------------------------------------------------------------------- -------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file finished for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_init_2.glm -------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_esm_3.glm ------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file finished for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_esm_3.glm ------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_log_4.glm ------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file finished for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_log_4.glm ------------------------------------------------------------------------------------------------------------- -------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_priv_5.glm -------------------------------------------------------------------------------------------------------------- -------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file finished for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_priv_5.glm -------------------------------------------------------------------------------------------------------------- -------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_misc_6.glm -------------------------------------------------------------------------------------------------------------- -------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual input file finished for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_misc_6.glm -------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual calls file started C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\TMS570LC43x_SafeTI_Library.glc ------------------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------------------- Reading repository LDRAunit-TI-Qual calls file finished C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\TMS570LC43x_SafeTI_Library.glc ------------------------------------------------------------------------------------------------------------------------------- Run Analysis LDRAunit-TI-Qual has not found the required results for the selected source. Do you wish to run analysis to produce the required results? Please enter one of the following options * indicates the default * (0) Yes (1) No Accepting the default setting ------------------------ Running Analysis started ------------------------ "C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\conunit-ti-qual.exe" "TMS570LC43x_SafeTI_Library" /112n34q -forcedataflow -continue_system_analysis -newinstance -tbrun=prompts Qt: Untested Windows version 6.2 detected! ---------------------------- Initialising License started ---------------------------- ----------------------------- Initialising License finished ----------------------------- Unable to retrieve generic license information ...Logging on Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Qualsys started Qualsys process started Qualsys process finished Qualsys finished Static Analysis results already exist, so the qualifier "/forcedataflow" will be ignored ---------------------------------------------- Loading set TMS570LC43x_SafeTI_Library started ---------------------------------------------- ----------------------------------------------- Loading set TMS570LC43x_SafeTI_Library finished ----------------------------------------------- Command line: "C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\conunit-ti-qual.exe" "TMS570LC43x_SafeTI_Library" /112n34q -forcedataflow -continue_system_analysis -newinstance -tbrun=prompts ------------------------- Command Line Mode started ------------------------- Saving TCF file started Saving TCF file finished Creating GLH Results Repository started Creating GLH Results Repository finished ------------------------------------------------------------------------ Static Analysis Phase started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c ------------------------------------------------------------------------ Shorten started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Shorten finished Lexical Analysis started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Lexical Analysis finished Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Undefined macro FUNCTION_PROFILING_ENABLED found in analysis. Adding macro to data file C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat with value and re-running Macro Expansion Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Undefined macro FUNCTION_PARAM_CHECK_ENABLED found in analysis. Adding macro to data file C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat with value and re-running Macro Expansion Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Undefined macro FUNC_PARAM_CHECK_LOG_ENABLED found in analysis. Adding macro to data file C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat with value and re-running Macro Expansion Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Undefined macro FUNC_ENTRY_COND_CHECK_ENABLED found in analysis. Adding macro to data file C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat with value and re-running Macro Expansion Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Undefined macro FUNC_ENTRY_COND_CHECK_LOG_ENABLED found in analysis. Adding macro to data file C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat with value and re-running Macro Expansion Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Undefined macro FUNC_RESULT_LOG_ENABLED found in analysis. Adding macro to data file C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat with value and re-running Macro Expansion Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Macro(s) to be left undefined found in sysppvar.dat Rerunning from Lexical Analysis Lexical Analysis started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat Set FORCEM flag in vals file Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Lexical Analysis finished Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Removing 12 macro(s) to be left undefined from sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Macro Expansion finished Static Analysis started Using penalty file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cpen.dat Penalty file modified for Standards Model: TBrun Requires SOURCE FILE LINE NUMBER = 2274 The TESTBED has failed to successfully identify the header of the corresponding procedure. The possible reasons are : 1) there are unexpanded macros - check the management or MAN file to see if all the included files have been opened. 2) there are reuses of proc names which can cause the TESTBED to become confused. Check the management file for standards violations to this effect. TOP OF TREE = 525 PRCDV FROM TO INFO LENGTH NAME 9 24 1 16SL_SelfTest_SRAM 29 45 2 17SL_SelfTest_Flash 50 66 3 17SL_SelfTest_PBIST 71 94 4 24SL_SelfTest_Status_PBIST 99 130 5 32SL_SelfTest_WaitCompletion_PBIST 135 160 6 26SL_SelfTest_PBIST_StopExec 165 179 7 15SL_SelfTest_STC 184 205 8 22SL_SelfTest_Status_STC 210 226 9 17SL_SelfTest_PSCON 231 254 10 24SL_SelfTest_Status_PSCON 259 275 11 17SL_SelfTest_EFuse 280 303 12 24SL_SelfTest_Status_EFuse 308 322 13 15SL_SelfTest_ADC 327 345 14 19sl_dmaSetCtrlPacket 350 366 15 17sl_dmaSetChEnable 371 394 16 24sl_dmaSetProtectedRegion 399 420 17 22sl_dmaConfigCtrlPacket 425 446 18 22sl_dmaSoftwrTestConfig 451 465 19 15SL_SelfTest_DMA 470 484 20 15SL_SelfTest_VIM 489 506 21 18SL_SelfTest_MibSPI 511 525 22 15SL_SelfTest_CAN The message below may have been generated as a result of incorrect LDRA Testbed Analysis Scope settings. Check that your code compiles and as part of this process, document the compiler preprocessor settings. These settings then need to be reflected in the LDRA Testbed data file SYSPPVAR.DAT. See Macro Expansion in the User Manual for further details. 0 NUMBER OF ENTRIES 521 NUMBER OF LINES NO FILES HAVE BEEN OPENED FOR INCLUSION. The total line number is: 2274 The local line number is: 2274 in the file under test: "C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c" ******************************************************************************* ****** SYNTACTIC ERROR NO 107 ****** ****** STATIC ANALYSIS ****** ****** CHECK THAT PROGRAM BEING ANALYSED COMPILES ****** ****** THEN CONTACT TESTBED MAINTENANCE EITHER ****** ****** LOCALLY, OR ****** ****** AT L. D. R. A. LTD. ****** ****** TEL. NO. (0151) 649 9300 ****** ****** FAX. NO. (0151) 649 9666 ****** ****** email: support@ldra.com ****** ****** QUOTING THE FOLLOWING ERROR MESSAGE. ****** ******************************************************************************* RETURN STATEMENT WITH NO MATCHING PROC ********** Main Static Analysis phase failed for file: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c Continuing with other files ********** ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- GLC Generation started GLC Generation finished Repacking GLH started Repacking GLH finished ********** Complexity Analysis not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- Qualsys Phase started Penalty file modified for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys Phase finished Qualsys started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys finished No file ordering information from Qualsys ********** Static Data Flow Analysis not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- Qualsys Phase started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys Phase finished ********** Cross Reference not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- ------------------------------------- Global Cross Referencer Phase started ------------------------------------- Global Cross Referencer started Cant open sif file *********************************************************** **** IMPLEMENTATION RESTRICTION IN LDRA TESTBED **** **** **** **** CONTACT SUPPORT EITHER LOCALLY **** **** OR AT LDRA LTD (U.K.) ON **** **** **** **** TEL. +44 (0)151 649 9300 **** **** FAX. +44 (0)151 649 9666 **** **** E-mail support@ldra.com **** **** **** **** QUOTING THE FOLLOWING MESSAGES **** **** **** *********************************************************** ERROR 69 OCCURRED IN CROSS REFERENCER File open error Global Cross Reference Files stored after error ********** Global Cross Reference phase failed ********** Qualsys started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys finished Test Manager Report not generated - option disabled for more than 3 files Creating GLH Results Repository started Creating GLH Results Repository finished -------------------------- Command Line Mode finished -------------------------- ------------------------- Running Analysis finished ------------------------- ------------------------------------------------------------------------ Generating repository tbrun input file started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c ------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------ Generating repository tbrun input file finished for: C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_selftest_1.glm ------------------------------------------------------------------------------------------------------------------ ---------------------------------------- Assigning tbrun calls input file started ---------------------------------------- ----------------------------------------- Assigning tbrun calls input file finished ----------------------------------------- Generating Test Scope Report Generating test scope report started Generating test scope report finished Generating procedure - parameter - global report started Generating procedure - parameter - global report finished Sequence name specified as ADC_UT~1 in TCF Language code specified as 2 in TCF Version number specified as 9.4.0 in TCF Sequence name ADC_UT~1 already exists Existing sequence will be replaced by the tcf Tcf mode set by command line qualifer tcf_mode= The sequence selected was ADC_UT~1 Assigning stubs started Assigning stubs finished Resolving unassigned stubs started Resolving unassigned stubs finished Optimising stubs started Optimising stubs finished Sequence ADC_UT~1 (C) : Files 6 : Test Cases 0 Do you wish to delete the workfile directory for the sequence? This operation will delete all files and sub-directories from C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\ADC_UT~1_seqwrkfls Please enter one of the following options * indicates the default * (0) All (1) Yes (2) No (3) None Accepting the default setting Assigning stubs started Assigning stubs finished Resolving unassigned stubs started Resolving unassigned stubs finished Optimising stubs started Optimising stubs finished Sequence ADC_UT~1 (C) : Files 6 : Test Cases 0 ------------------------------------------------------------------------------------------- Importing test case file (TCF) started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\Test\TMS570~1\SAFETY~1\Tests\ADC\UnitTest\ADC_UT~1.tcf ------------------------------------------------------------------------------------------- There are insufficient analysis results available. Full Static results do not exist for one file in your sequence. You may continue with LDRAunit, working with the files that have been analysed. Alternatively you may run analysis from LDRAunit on the remaining files in your sequence. Do you wish to run analysis now? Analysis results will be generated in call to Testbed ------------------------ Running Analysis started ------------------------ "C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\conunit-ti-qual.exe" "TMS570LC43x_SafeTI_Library" /112n34q -forcedataflow -continue_system_analysis -newinstance -tbrun=0 Qt: Untested Windows version 6.2 detected! ---------------------------- Initialising License started ---------------------------- ----------------------------- Initialising License finished ----------------------------- Unable to retrieve generic license information ...Logging on Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Qualsys started Qualsys process started Qualsys process finished Qualsys finished Static Analysis results already exist, so the qualifier "/forcedataflow" will be ignored ---------------------------------------------- Loading set TMS570LC43x_SafeTI_Library started ---------------------------------------------- ----------------------------------------------- Loading set TMS570LC43x_SafeTI_Library finished ----------------------------------------------- Command line: "C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\conunit-ti-qual.exe" "TMS570LC43x_SafeTI_Library" /112n34q -forcedataflow -continue_system_analysis -newinstance -tbrun=0 ------------------------- Command Line Mode started ------------------------- Saving TCF file started Saving TCF file finished Creating GLH Results Repository started Creating GLH Results Repository finished ------------------------------------------------------------------------ Static Analysis Phase started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c ------------------------------------------------------------------------ Shorten started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Shorten finished Lexical Analysis started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Lexical Analysis finished Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Macro(s) to be left undefined found in sysppvar.dat Rerunning from Lexical Analysis Lexical Analysis started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat Set FORCEM flag in vals file Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Lexical Analysis finished Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Removing 12 macro(s) to be left undefined from sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Macro Expansion finished Static Analysis started Using penalty file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cpen.dat Penalty file modified for Standards Model: TBrun Requires SOURCE FILE LINE NUMBER = 2274 The TESTBED has failed to successfully identify the header of the corresponding procedure. The possible reasons are : 1) there are unexpanded macros - check the management or MAN file to see if all the included files have been opened. 2) there are reuses of proc names which can cause the TESTBED to become confused. Check the management file for standards violations to this effect. TOP OF TREE = 525 PRCDV FROM TO INFO LENGTH NAME 9 24 1 16SL_SelfTest_SRAM 29 45 2 17SL_SelfTest_Flash 50 66 3 17SL_SelfTest_PBIST 71 94 4 24SL_SelfTest_Status_PBIST 99 130 5 32SL_SelfTest_WaitCompletion_PBIST 135 160 6 26SL_SelfTest_PBIST_StopExec 165 179 7 15SL_SelfTest_STC 184 205 8 22SL_SelfTest_Status_STC 210 226 9 17SL_SelfTest_PSCON 231 254 10 24SL_SelfTest_Status_PSCON 259 275 11 17SL_SelfTest_EFuse 280 303 12 24SL_SelfTest_Status_EFuse 308 322 13 15SL_SelfTest_ADC 327 345 14 19sl_dmaSetCtrlPacket 350 366 15 17sl_dmaSetChEnable 371 394 16 24sl_dmaSetProtectedRegion 399 420 17 22sl_dmaConfigCtrlPacket 425 446 18 22sl_dmaSoftwrTestConfig 451 465 19 15SL_SelfTest_DMA 470 484 20 15SL_SelfTest_VIM 489 506 21 18SL_SelfTest_MibSPI 511 525 22 15SL_SelfTest_CAN The message below may have been generated as a result of incorrect LDRA Testbed Analysis Scope settings. Check that your code compiles and as part of this process, document the compiler preprocessor settings. These settings then need to be reflected in the LDRA Testbed data file SYSPPVAR.DAT. See Macro Expansion in the User Manual for further details. 0 NUMBER OF ENTRIES 521 NUMBER OF LINES NO FILES HAVE BEEN OPENED FOR INCLUSION. The total line number is: 2274 The local line number is: 2274 in the file under test: "C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c" ******************************************************************************* ****** SYNTACTIC ERROR NO 107 ****** ****** STATIC ANALYSIS ****** ****** CHECK THAT PROGRAM BEING ANALYSED COMPILES ****** ****** THEN CONTACT TESTBED MAINTENANCE EITHER ****** ****** LOCALLY, OR ****** ****** AT L. D. R. A. LTD. ****** ****** TEL. NO. (0151) 649 9300 ****** ****** FAX. NO. (0151) 649 9666 ****** ****** email: support@ldra.com ****** ****** QUOTING THE FOLLOWING ERROR MESSAGE. ****** ******************************************************************************* RETURN STATEMENT WITH NO MATCHING PROC ********** Main Static Analysis phase failed for file: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c Continuing with other files ********** ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- GLC Generation started GLC Generation finished Repacking GLH started Repacking GLH finished ********** Complexity Analysis not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- Qualsys Phase started Penalty file modified for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys Phase finished Qualsys started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys finished No file ordering information from Qualsys ********** Static Data Flow Analysis not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- Qualsys Phase started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys Phase finished ********** Cross Reference not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- ------------------------------------- Global Cross Referencer Phase started ------------------------------------- Global Cross Referencer started Cant open sif file *********************************************************** **** IMPLEMENTATION RESTRICTION IN LDRA TESTBED **** **** **** **** CONTACT SUPPORT EITHER LOCALLY **** **** OR AT LDRA LTD (U.K.) ON **** **** **** **** TEL. +44 (0)151 649 9300 **** **** FAX. +44 (0)151 649 9666 **** **** E-mail support@ldra.com **** **** **** **** QUOTING THE FOLLOWING MESSAGES **** **** **** *********************************************************** ERROR 69 OCCURRED IN CROSS REFERENCER File open error Global Cross Reference Files stored after error ********** Global Cross Reference phase failed ********** Qualsys started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys finished Test Manager Report not generated - option disabled for more than 3 files Creating GLH Results Repository started Creating GLH Results Repository finished -------------------------- Command Line Mode finished -------------------------- ------------------------- Running Analysis finished ------------------------- ------------------------------------------------------------------------ Generating repository tbrun input file started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c ------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------ Generating repository tbrun input file finished for: C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_selftest_1.glm ------------------------------------------------------------------------------------------------------------------ ---------------------------------------- Assigning tbrun calls input file started ---------------------------------------- ----------------------------------------- Assigning tbrun calls input file finished ----------------------------------------- Generating Test Scope Report Generating test scope report started Generating test scope report finished Generating procedure - parameter - global report started Generating procedure - parameter - global report finished Assigning stubs started Assigning stubs finished Resolving unassigned stubs started Resolving unassigned stubs finished Optimising stubs started Optimising stubs finished Sequence ADC_UT~1 (C) : Files 6 : Test Cases 0 Testbed analysis was unsuccessful. ------------------------------------------------------------------------------------------- Importing test case file (TCF) finished for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\Test\TMS570~1\SAFETY~1\Tests\ADC\UnitTest\ADC_UT~1.tcf ------------------------------------------------------------------------------------------- ------------------------ Running Analysis started ------------------------ "C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\conunit-ti-qual.exe" "TMS570LC43x_SafeTI_Library" /112n34q -forcedataflow -continue_system_analysis -newinstance -tbrun=0 Qt: Untested Windows version 6.2 detected! ---------------------------- Initialising License started ---------------------------- ----------------------------- Initialising License finished ----------------------------- Unable to retrieve generic license information ...Logging on Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Qualsys started Qualsys process started Qualsys process finished Qualsys finished Static Analysis results already exist, so the qualifier "/forcedataflow" will be ignored ---------------------------------------------- Loading set TMS570LC43x_SafeTI_Library started ---------------------------------------------- ----------------------------------------------- Loading set TMS570LC43x_SafeTI_Library finished ----------------------------------------------- Command line: "C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\conunit-ti-qual.exe" "TMS570LC43x_SafeTI_Library" /112n34q -forcedataflow -continue_system_analysis -newinstance -tbrun=0 ------------------------- Command Line Mode started ------------------------- Saving TCF file started Saving TCF file finished Creating GLH Results Repository started Creating GLH Results Repository finished ------------------------------------------------------------------------ Static Analysis Phase started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c ------------------------------------------------------------------------ Shorten started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Shorten finished Lexical Analysis started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Lexical Analysis finished Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Macro(s) to be left undefined found in sysppvar.dat Rerunning from Lexical Analysis Lexical Analysis started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat Set FORCEM flag in vals file Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Lexical Analysis finished Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Removing 12 macro(s) to be left undefined from sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Macro Expansion finished Static Analysis started Using penalty file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cpen.dat Penalty file modified for Standards Model: TBrun Requires SOURCE FILE LINE NUMBER = 2274 The TESTBED has failed to successfully identify the header of the corresponding procedure. The possible reasons are : 1) there are unexpanded macros - check the management or MAN file to see if all the included files have been opened. 2) there are reuses of proc names which can cause the TESTBED to become confused. Check the management file for standards violations to this effect. TOP OF TREE = 525 PRCDV FROM TO INFO LENGTH NAME 9 24 1 16SL_SelfTest_SRAM 29 45 2 17SL_SelfTest_Flash 50 66 3 17SL_SelfTest_PBIST 71 94 4 24SL_SelfTest_Status_PBIST 99 130 5 32SL_SelfTest_WaitCompletion_PBIST 135 160 6 26SL_SelfTest_PBIST_StopExec 165 179 7 15SL_SelfTest_STC 184 205 8 22SL_SelfTest_Status_STC 210 226 9 17SL_SelfTest_PSCON 231 254 10 24SL_SelfTest_Status_PSCON 259 275 11 17SL_SelfTest_EFuse 280 303 12 24SL_SelfTest_Status_EFuse 308 322 13 15SL_SelfTest_ADC 327 345 14 19sl_dmaSetCtrlPacket 350 366 15 17sl_dmaSetChEnable 371 394 16 24sl_dmaSetProtectedRegion 399 420 17 22sl_dmaConfigCtrlPacket 425 446 18 22sl_dmaSoftwrTestConfig 451 465 19 15SL_SelfTest_DMA 470 484 20 15SL_SelfTest_VIM 489 506 21 18SL_SelfTest_MibSPI 511 525 22 15SL_SelfTest_CAN The message below may have been generated as a result of incorrect LDRA Testbed Analysis Scope settings. Check that your code compiles and as part of this process, document the compiler preprocessor settings. These settings then need to be reflected in the LDRA Testbed data file SYSPPVAR.DAT. See Macro Expansion in the User Manual for further details. 0 NUMBER OF ENTRIES 521 NUMBER OF LINES NO FILES HAVE BEEN OPENED FOR INCLUSION. The total line number is: 2274 The local line number is: 2274 in the file under test: "C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c" ******************************************************************************* ****** SYNTACTIC ERROR NO 107 ****** ****** STATIC ANALYSIS ****** ****** CHECK THAT PROGRAM BEING ANALYSED COMPILES ****** ****** THEN CONTACT TESTBED MAINTENANCE EITHER ****** ****** LOCALLY, OR ****** ****** AT L. D. R. A. LTD. ****** ****** TEL. NO. (0151) 649 9300 ****** ****** FAX. NO. (0151) 649 9666 ****** ****** email: support@ldra.com ****** ****** QUOTING THE FOLLOWING ERROR MESSAGE. ****** ******************************************************************************* RETURN STATEMENT WITH NO MATCHING PROC ********** Main Static Analysis phase failed for file: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c Continuing with other files ********** ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- GLC Generation started GLC Generation finished Repacking GLH started Repacking GLH finished ********** Complexity Analysis not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- Qualsys Phase started Penalty file modified for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys Phase finished Qualsys started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys finished No file ordering information from Qualsys ********** Static Data Flow Analysis not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- Qualsys Phase started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys Phase finished ********** Cross Reference not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- ------------------------------------- Global Cross Referencer Phase started ------------------------------------- Global Cross Referencer started Cant open sif file *********************************************************** **** IMPLEMENTATION RESTRICTION IN LDRA TESTBED **** **** **** **** CONTACT SUPPORT EITHER LOCALLY **** **** OR AT LDRA LTD (U.K.) ON **** **** **** **** TEL. +44 (0)151 649 9300 **** **** FAX. +44 (0)151 649 9666 **** **** E-mail support@ldra.com **** **** **** **** QUOTING THE FOLLOWING MESSAGES **** **** **** *********************************************************** ERROR 69 OCCURRED IN CROSS REFERENCER File open error Global Cross Reference Files stored after error ********** Global Cross Reference phase failed ********** Qualsys started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys finished Test Manager Report not generated - option disabled for more than 3 files Creating GLH Results Repository started Creating GLH Results Repository finished -------------------------- Command Line Mode finished -------------------------- ------------------------- Running Analysis finished ------------------------- ------------------------------------------------------------------------ Generating repository tbrun input file started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c ------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------ Generating repository tbrun input file finished for: C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_selftest_1.glm ------------------------------------------------------------------------------------------------------------------ ---------------------------------------- Assigning tbrun calls input file started ---------------------------------------- ----------------------------------------- Assigning tbrun calls input file finished ----------------------------------------- Generating Test Scope Report Generating test scope report started Generating test scope report finished Generating procedure - parameter - global report started Generating procedure - parameter - global report finished Assigning stubs started Assigning stubs finished Resolving unassigned stubs started Resolving unassigned stubs finished Optimising stubs started Optimising stubs finished Sequence ADC_UT~1 (C) : Files 6 : Test Cases 0 ------------------------------------------------------------------------------------------------------------------------------------------ Generating harness program started for: C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\ADC_UT~1_seqwrkfls\h_6_sl_misc_ADC_UT~1.c ------------------------------------------------------------------------------------------------------------------------------------------ Harness Driver Source File : C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\ADC_UT~1_seqwrkfls\h_6_sl_misc_ADC_UT~1.c Harness Executable : C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\LDRA\TMS570LC43x_SafeTI_Library.out Harness Output Data File : C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\ADC_UT~1_seqwrkfls\ADC_UT~1.hop Execution History Directory : C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\ There are insufficient analysis results available. Full Static results do not exist for one file in your sequence. You may continue with LDRAunit, working with the files that have been analysed. Alternatively you may run analysis from LDRAunit on the remaining files in your sequence. Do you wish to run analysis now? Analysis results will be generated in call to Testbed ------------------------ Running Analysis started ------------------------ "C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\conunit-ti-qual.exe" "TMS570LC43x_SafeTI_Library" /112n34q -forcedataflow -continue_system_analysis -newinstance -tbrun=0 Qt: Untested Windows version 6.2 detected! ---------------------------- Initialising License started ---------------------------- ----------------------------- Initialising License finished ----------------------------- Unable to retrieve generic license information ...Logging on Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Unable to locate file in set C:\Users\A508944\Desktop\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c File will be ignored in current analysis. For a consistent analysis either remove file from set or restore the file in the file system and re-select the set before continuing. Qualsys started Qualsys process started Qualsys process finished Qualsys finished Static Analysis results already exist, so the qualifier "/forcedataflow" will be ignored ---------------------------------------------- Loading set TMS570LC43x_SafeTI_Library started ---------------------------------------------- ----------------------------------------------- Loading set TMS570LC43x_SafeTI_Library finished ----------------------------------------------- Command line: "C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\conunit-ti-qual.exe" "TMS570LC43x_SafeTI_Library" /112n34q -forcedataflow -continue_system_analysis -newinstance -tbrun=0 ------------------------- Command Line Mode started ------------------------- Saving TCF file started Saving TCF file finished Creating GLH Results Repository started Creating GLH Results Repository finished ------------------------------------------------------------------------ Static Analysis Phase started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c ------------------------------------------------------------------------ Shorten started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Shorten finished Lexical Analysis started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Lexical Analysis finished Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Macro(s) to be left undefined found in sysppvar.dat Rerunning from Lexical Analysis Lexical Analysis started Using Sysearch file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysearch.dat Set FORCEM flag in vals file Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Lexical Analysis finished Macro Expansion started In Auto Macro Mode Using Sysppvar file: C:\ti\Hercules\SafeTI-HALCoGen-CSP\TMS570LC43x_v04.07.01\HALCoGen\HALCoGenTAU\Scripts\Sysppvar.dat Removing 12 macro(s) to be left undefined from sysppvar.dat Using vals file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cvals.dat Macro Expansion finished Static Analysis started Using penalty file: C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\c\cpen.dat Penalty file modified for Standards Model: TBrun Requires SOURCE FILE LINE NUMBER = 2274 The TESTBED has failed to successfully identify the header of the corresponding procedure. The possible reasons are : 1) there are unexpanded macros - check the management or MAN file to see if all the included files have been opened. 2) there are reuses of proc names which can cause the TESTBED to become confused. Check the management file for standards violations to this effect. TOP OF TREE = 525 PRCDV FROM TO INFO LENGTH NAME 9 24 1 16SL_SelfTest_SRAM 29 45 2 17SL_SelfTest_Flash 50 66 3 17SL_SelfTest_PBIST 71 94 4 24SL_SelfTest_Status_PBIST 99 130 5 32SL_SelfTest_WaitCompletion_PBIST 135 160 6 26SL_SelfTest_PBIST_StopExec 165 179 7 15SL_SelfTest_STC 184 205 8 22SL_SelfTest_Status_STC 210 226 9 17SL_SelfTest_PSCON 231 254 10 24SL_SelfTest_Status_PSCON 259 275 11 17SL_SelfTest_EFuse 280 303 12 24SL_SelfTest_Status_EFuse 308 322 13 15SL_SelfTest_ADC 327 345 14 19sl_dmaSetCtrlPacket 350 366 15 17sl_dmaSetChEnable 371 394 16 24sl_dmaSetProtectedRegion 399 420 17 22sl_dmaConfigCtrlPacket 425 446 18 22sl_dmaSoftwrTestConfig 451 465 19 15SL_SelfTest_DMA 470 484 20 15SL_SelfTest_VIM 489 506 21 18SL_SelfTest_MibSPI 511 525 22 15SL_SelfTest_CAN The message below may have been generated as a result of incorrect LDRA Testbed Analysis Scope settings. Check that your code compiles and as part of this process, document the compiler preprocessor settings. These settings then need to be reflected in the LDRA Testbed data file SYSPPVAR.DAT. See Macro Expansion in the User Manual for further details. 0 NUMBER OF ENTRIES 521 NUMBER OF LINES NO FILES HAVE BEEN OPENED FOR INCLUSION. The total line number is: 2274 The local line number is: 2274 in the file under test: "C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c" ******************************************************************************* ****** SYNTACTIC ERROR NO 107 ****** ****** STATIC ANALYSIS ****** ****** CHECK THAT PROGRAM BEING ANALYSED COMPILES ****** ****** THEN CONTACT TESTBED MAINTENANCE EITHER ****** ****** LOCALLY, OR ****** ****** AT L. D. R. A. LTD. ****** ****** TEL. NO. (0151) 649 9300 ****** ****** FAX. NO. (0151) 649 9666 ****** ****** email: support@ldra.com ****** ****** QUOTING THE FOLLOWING ERROR MESSAGE. ****** ******************************************************************************* RETURN STATEMENT WITH NO MATCHING PROC ********** Main Static Analysis phase failed for file: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c Continuing with other files ********** ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Main Static Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- GLC Generation started GLC Generation finished Repacking GLH started Repacking GLH finished ********** Complexity Analysis not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Complexity Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- Qualsys Phase started Penalty file modified for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys Phase finished Qualsys started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys finished No file ordering information from Qualsys ********** Static Data Flow Analysis not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Static Data Flow Analysis results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- Qualsys Phase started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys Phase finished ********** Cross Reference not run for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c due to a previous failure ********** ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_init.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_esm.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_log.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_priv.c No analysis necessary ---------- ---------- Cross Reference results already exist for file C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_misc.c No analysis necessary ---------- ------------------------------------- Global Cross Referencer Phase started ------------------------------------- Global Cross Referencer started Cant open sif file *********************************************************** **** IMPLEMENTATION RESTRICTION IN LDRA TESTBED **** **** **** **** CONTACT SUPPORT EITHER LOCALLY **** **** OR AT LDRA LTD (U.K.) ON **** **** **** **** TEL. +44 (0)151 649 9300 **** **** FAX. +44 (0)151 649 9666 **** **** E-mail support@ldra.com **** **** **** **** QUOTING THE FOLLOWING MESSAGES **** **** **** *********************************************************** ERROR 69 OCCURRED IN CROSS REFERENCER File open error Global Cross Reference Files stored after error ********** Global Cross Reference phase failed ********** Qualsys started Using stored modified penalty file for Standards Model: TBrun Requires Qualsys process started Qualsys process finished Qualsys finished Test Manager Report not generated - option disabled for more than 3 files Creating GLH Results Repository started Creating GLH Results Repository finished -------------------------- Command Line Mode finished -------------------------- ------------------------- Running Analysis finished ------------------------- ------------------------------------------------------------------------ Generating repository tbrun input file started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\sl_selftest.c ------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------ Generating repository tbrun input file finished for: C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\sl_selftest_1.glm ------------------------------------------------------------------------------------------------------------------ ---------------------------------------- Assigning tbrun calls input file started ---------------------------------------- ----------------------------------------- Assigning tbrun calls input file finished ----------------------------------------- Generating Test Scope Report Generating test scope report started Generating test scope report finished Generating procedure - parameter - global report started Generating procedure - parameter - global report finished Assigning stubs started Assigning stubs finished Resolving unassigned stubs started Resolving unassigned stubs finished Optimising stubs started Optimising stubs finished Sequence ADC_UT~1 (C) : Files 6 : Test Cases 0 Testbed analysis was unsuccessful. Unable to run sequencer ------------------------------- Validating User Globals started ------------------------------- -------------------------------- Validating User Globals finished -------------------------------- ---------------------------------- Validating Procedure Calls started ---------------------------------- ----------------------------------- Validating Procedure Calls finished ----------------------------------- Harness program was generated successfully. Harness Driver Source File : C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\ADC_UT~1_seqwrkfls\h_1_sl_selftest_ADC_UT~1.c Harness Executable : C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\LDRA\TMS570LC43x_SafeTI_Library.out Harness Output Data File : C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\ADC_UT~1_seqwrkfls\ADC_UT~1.hop Execution History Directory : C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\ ---------------------------------------------------------------------------------------------------------------------------------------------- Generating harness program finished for: C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\ADC_UT~1_seqwrkfls\h_1_sl_selftest_ADC_UT~1.c ---------------------------------------------------------------------------------------------------------------------------------------------- ----------------------------------------------------------------------------------------------- Building harness program started for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\TMS570LC43x_SafeTI_Library.out ----------------------------------------------------------------------------------------------- Substituting Source Files started Substituting Source Files finished Executing Pre Build Steps: started Running os_system command C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\Compiler_spec\TICCS50\Debug_Server_Script\Copy_Build_Command.bat C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\ Start in Directory : C:\Program Files (x86)\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\Compiler_Spec\TICCS50\Debug_Server_Script\ Unable to determine if spawning console application. Piping to log window will be cancelled. Using Merged Environment Executing Pre Build Steps: finished Running os_system command C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\Build_command.bat C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\ Start in Directory : C:\Users\A508944\Documents\LDRA\LDRAunit-TI-Qual_C_CPP_9.4.3\TMS570LC43x_SafeTI_Library_tbwrkfls\ADC_UT~1_seqwrkfls\ Unable to determine if spawning console application. Piping to log window will be cancelled. Using Merged Environment C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\Build_command.bat C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\ The command line shown could not be executed. The run time error code was set to 2: 지정된 파일을 찾을 수 없습니다. If a directory was not specified, the executable was not found in the current directory; the LDRA Testbed installation directory; the Windows or System directories, or on any current PATH. Restoring Source Files started Restoring Source Files finished Harness program was not built. Executable Name : C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\TMS570LC43x_SafeTI_Library.out ----------------------------------------------------------------------------------------------- Building harness program finished for: C:\ti\Hercules\SAFETI~1\24661E~1.0_L\safety_library\source\\LDRA\TMS570LC43x_SafeTI_Library.out ----------------------------------------------------------------------------------------------- Unit Test Completed for C:\ti\Hercules\SAFETI~1\24661E~1.0_L\Test\TMS570~1\SAFETY~1\Tests\ADC\UnitTest\ADC_UT~1.tcf