<div dir="ltr">Hi, all:<div><br></div><div>I was reading the mailing list and found this discussion:</div><div><br></div><div><a href="https://lists.litmus-rt.org/pipermail/litmus-dev/2012/000095.html">https://lists.litmus-rt.org/pipermail/litmus-dev/2012/000095.html</a><br>
</div><div><br></div><div style>It says rtspin cuts the wcet to 90% of its actual specified wcet.</div><div style><br></div><div style>Is it the same for the current release?</div><div style><br></div><div style>I check the code and cannot find where does this 90% coming from.</div>
<div style><br></div><div style>It has the "scale" variable, but is set to 1.0</div><div><br></div><div style>Thanks very much!</div><div style><br></div><div style>Sisu</div><div><br clear="all"><div><br></div>
-- <br>Sisu Xi, PhD Candidate<br><br><a href="http://www.cse.wustl.edu/~xis/" target="_blank">http://www.cse.wustl.edu/~xis/</a><br>Department of Computer Science and Engineering<br>Campus Box 1045<br>Washington University in St. Louis<br>
One Brookings Drive<br>St. Louis, MO 63130
</div></div>