[LITMUS^RT] rtspin running 100% or 90% of wcet? -- Sisu

[Sisu Xi]

Hi, all:

I was reading the mailing list and found this discussion:

https://lists.litmus-rt.org/pipermail/litmus-dev/2012/000095.html

It says rtspin cuts the wcet to 90% of its actual specified wcet.

Is it the same for the current release?

I check the code and cannot find where does this 90% coming from.

It has the "scale" variable, but is set to 1.0

Thanks very much!

Sisu


-- 
Sisu Xi, PhD Candidate

http://www.cse.wustl.edu/~xis/
Department of Computer Science and Engineering
Campus Box 1045
Washington University in St. Louis
One Brookings Drive
St. Louis, MO 63130
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.litmus-rt.org/pipermail/litmus-dev/attachments/20130417/975758e8/attachment.html>