<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>Yes.  The 90% thing is out of date.  Use the scale parameter.</div><div><br></div><div>-Glenn</div><div><br>On Apr 17, 2013, at 4:58 PM, Sisu Xi <<a href="mailto:xisisu@gmail.com">xisisu@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><div><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>
</div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>litmus-dev mailing list</span><br><span><a href="mailto:litmus-dev@lists.litmus-rt.org">litmus-dev@lists.litmus-rt.org</a></span><br><span><a href="https://lists.litmus-rt.org/listinfo/litmus-dev">https://lists.litmus-rt.org/listinfo/litmus-dev</a></span><br></div></blockquote></body></html>