We are in the process of using the HalCoGen-CSP to verify the code generated by HalCoGne for our particular configuration. To get started we have selected a single driver and attempted to get the CSP to run and produce the required report. (Note we have purchased a copy, installed, got the LDRA licence and have a copy of pearl installed)
The CSP starts to run,
Executing testsequences in the folder C:\Users\walsan01\workspace\CSP_RM48L952ZWT\firsttest_can\Test...
------------------------------------------------------------------------------------------------------------------------------
Test Sequence : \Test\ADC1\UnitTest
Generating MakeFile...Passed...
Generating TCF File...Passed...
Validating and building the test sequence...
Build Failed due to compile errors...Please check \Test\ADC1\UnitTest\Debug\CompileLog.txt...
------------------------------------------------------------------------------------------------------------------------------
Completed executing 0 testsequence(s)...
Failed to execute 1 testsequence(s)...
Consolidating the reports...
Consolidated Report generated in C:\Users\walsan01\workspace\CSP_RM48L952ZWT\firsttest_can\Reports\...
The issue appears to be in the linking :-
- From the Compile Log. txt file
'Finished building: ..\..\..\..\source\sys_vim.c'
' '
'[' is not recognized as an internal or external command,
operable program or batch file.
A subdirectory or file Debug already exists.
'Building target: ADC1_UT.out'
'Invoking: ARM Linker'
C:/ti/ccsv6/tools/compiler/arm_15.12.3.LTS/bin/armcl -mv7R4 --code_state=32 --float_support=VFPv3D16 -me --include_path="C:/ti/ccsv6/tools/compiler/arm_15.12.3.LTS/include" --include_path="C:/Users/walsan01/workspace/CSP_RM48L952ZWT/firsttest_can/include" -g --diag_wrap=off --diag_warning=225 --display_error_number --abi=eabi --enum_type=packed --obj_directory=Debug --include_path="C:/ti/ccsv6/tools/compiler/arm_15.12.3.LTS/include" -z -m"ADC1_UT.map" -i "C:/ti/ccsv6/tools/compiler/arm_15.12.3.LTS/lib" -mv7R4 --code_state=32 --float_support=VFPv3D16 -me -g --diag_wrap=off --diag_warning=225 --display_error_number --abi=eabi --enum_type=packed -z -m"firsttest_can.map" --stack_size=0x800 --heap_size=0x800 -i"C:/ti/ccsv6/tools/compiler/arm_15.12.3.LTS/lib" -i"C:/ti/ccsv6/tools/compiler/arm_15.12.3.LTS/include" --reread_libs --diag_wrap=off --warn_sections --display_error_number --xml_link_info="firsttest_can_linkInfo.xml" --rom_model -o "ADC1_UT.out" ".\Debug\dabort.obj" ".\Debug\sys_core.obj" ".\Debug\sys_intvecs.obj" ".\Debug\sys_mpu.obj" ".\Debug\sys_pmu.obj" ".\Debug\adc.obj" ".\Debug\esm.obj" ".\Debug\notification.obj" ".\Debug\pinmux.obj" ".\Debug\system.obj" ".\Debug\sys_dma.obj" ".\Debug\sys_pcr.obj" ".\Debug\sys_phantom.obj" ".\Debug\sys_pmm.obj" ".\Debug\sys_selftest.obj" ".\Debug\sys_startup.obj" ".\Debug\sys_vim.obj" ..\..\..\..\source\sys_link.cmd -l "rtsv7R4_T_le_v3D16_eabi.lib"
<Linking>
>> WARNING: invalid linker option --code_state=32 (ignored)
>> WARNING: invalid linker option --float_support=VFPv3D16 (ignored)
>> WARNING: the --abi=coffabi option must be specified before the -z; option ignored
>> WARNING: invalid linker option --enum_type=packed (ignored)
undefined first referenced
symbol in file
--------- ----------------
--diag_wrap=off
error #10234-D: unresolved symbols remain
error #10010: errors encountered during linking; "ADC1_UT.out" not built
>> Compilation failure
C:\Users\walsan01\workspace\CSP_RM48L952ZWT\firsttest_can\Test\ADC1\UnitTest\\Debug\MakeFile.mk:181: recipe for target 'ADC1_UT.out' failed
gmake: *** [ADC1_UT.out] Error 1
gmake: Target 'all' not remade because of errors.
Can anyone advise what I need to look at / change / do ?
