Stubbed function range specification

4 views (last 30 days)
Shaku kaa
Shaku kaa on 2 Dec 2016
Commented: Ma Kaon 19 Dec 2016
Was Getting full range for a Function(returns a Float data type range ) .But, wanted to set min. & max. value for that function.so, that it would not cross the given range. 1.I commented it's body so that polyspace would create a stubbed function for it.Polyspace cretaed a stubbed function for it but, it considered return datatype as SINT = short int.Why polyspace considers SINT for datatype by default? 2. Now, I uncommented that commented part & typed name of the functions to be stubbed under " Functions to Stub " option in polyspace.polyspace cretaed stubbed function for it .But, even after running polyspace giving min. & max value for the function,it is considering it's full range(float data type range) only not the one i mentioned min. & max. range. How to make polyspace to consider only that min. & max. value?
and one more is, Is it possible to give min. & max. value in DRS for User defined function?
Thanks in adavnce
1 Comment
Ma Ka
Ma Ka on 19 Dec 2016
One thing you can do: define the stub yourself (e.g., in the .c-File with the activations). This way, you have full control of the return type & range.

Sign in to comment.

Answers (0)