Checks/Asserts disabled

The only way I found so far was to add .scs file with asserts to Model files of corner:

There is no difference if Checks/Asserts are enabled or disabled:

This is to be expected. It's nothing to do with the fact that the file contains asserts - if you add files using the model libraries on the test, and then have model files defined in corners, the model libraries from the test are replaced with the model files from the corner. If you don't want to add the file containing asserts to every corner, you could add to the test as a Definition File on the Setup->Simulation Files form. These files are kept regardless of whether corners are enabled or not.

The reason this happens if that if you are using models from corners, you want them to replace the model files from the test, and the tool has no way of knowing which files you want replaced and which you don't - so it replaces the lot.

Andrew

Thank you.

I need to:

add to the test as a Definition File on the Setup->Simulation Files form

from SKILL code.

I already asked question on that subject and adding files to test is working, but adding to definition files is not.

I will open another thread on this.

Best regards,

Dragan

dragank said:

I already asked question on that subject and adding files to test is working, but adding to definition files is not.

If it's the thread I'm thinking of, I did give an answer a few weeks ago.

Andrew

Yes, that is it, but adding to definition files did not work.

Here is the code I used:

contains = nil
sevSess = axlGetToolSession(axlGetWindowSession() testName)
testSess = sevEnvironment(sevSess)
foreach( sessionElement asiGetEnvOptionVal(testSess "definitionFiles") ;modelFiles
  if( eqv(car(sessionElement) outFileName)
  then
    contains = 't
  )
)
if( not(contains)
then
  asiSetEnvOptionVal(testSess "definitionFiles" ; modelFiles
  append(
    asiGetEnvOptionVal(testSess "definitionFiles") ; modelFiles
      list(
        list(outFileName)
      )
    )
  )
)

First part contains prevention of adding same file multiple times.

Lower part is adding .scs file to definition fies,

Best regards,

Dragan

There was a mistake in my earlier code - it had an extra list in there (I probably hadn't adapted it properly from when it was adding modelFiles). So here's a corrected version of the code (the eqv check needs to change too because of the lack of an extra list level):

contains = nil
sevSess = axlGetToolSession(axlGetWindowSession() testName)
testSess = sevEnvironment(sevSess)
foreach( sessionElement asiGetEnvOptionVal(testSess "definitionFiles") ;modelFiles
  if( eqv(sessionElement outFileName)
  then
    contains = 't
  )
)
if( not(contains)
then
  asiSetEnvOptionVal(testSess "definitionFiles" ; modelFiles
  append(
    asiGetEnvOptionVal(testSess "definitionFiles") ; modelFiles
        list(outFileName)
    )
  )
)

Thank you for correction.

I'd never found it out.

Best regards,

Dragan