Will the txt format for the DRS be understood with next releases (xml format is the offical one now) ?

The old format for the DRS (Data Range Specification file was a txt file. Now it's an XML file with extended possibilities (for pointers, functions parameters, ...). The 'old' txt DRS files are still understood by the current release (R2018) even if it's no more documented. But will this 'old' txt format be understood later ?

[Kariyappa Jaggal]

May i know the .txt format for the Data Ranges for the variables?

Answer 1

[Steven Remington]

Currently the XML format is the official format and it's recommended that you update any old DRS txt files to the newer format. this can be done by loading the text file into the Polyspace UI as if it was an XML DRS and the file will be converted!

[Frederic Retailleau]

Hi Steven. Thanks for the answer.

I understand that moving our existing DRS txt file into DRS xml file could be better , but I know that right now, the Code Prover tool is still working properly with the DRS txt files we provide. So before updating our toolcahin (which can be a bit painful) I would like to know if the possibility to use the DRS txt files will be maintained in the next releases !

Moreover, I have a second question. Can you confirm that we can't do complex things like initialising array pointer with defined size and defined values by using DRS txt file ?

Thanks in advance for your answers

Fred