<div dir="ltr">code unit-tests with mocked clocks catch a lot of funky things like this.  But you have to either know to test a piece of code, or be disciplined about testing _everything_ like that.  And it doesn't retrofit into existing codebases well at all.</div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, May 2, 2015 at 9:42 AM, Dave Taht <span dir="ltr"><<a href="mailto:dave.taht@gmail.com" target="_blank">dave.taht@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Somehow I really would like to be able to run a firmware's clock<br>
forward WAY faster and transparently to catch bugs like this.<br>
<br>
<br>
---------- Forwarded message ----------<br>
From: David Farber <<a href="mailto:farber@gmail.com">farber@gmail.com</a>><br>
Date: Sat, May 2, 2015 at 7:41 AM<br>
Subject: [IP] To keep a Boeing Dreamliner flying, reboot once every<br>
248 days A software bug again<br>
To: ip <<a href="mailto:ip@listbox.com">ip@listbox.com</a>><br>
<br>
<br>
<br>
> <a href="http://www.engadget.com/2015/05/01/boeing-787-dreamliner-software-bug/#continued" target="_blank">http://www.engadget.com/2015/05/01/boeing-787-dreamliner-software-bug/#continued</a> <<a href="http://www.engadget.com/2015/05/01/boeing-787-dreamliner-software-bug/#continued" target="_blank">http://www.engadget.com/2015/05/01/boeing-787-dreamliner-software-bug/#continued</a>><br>
<br>
<br>
-------------------------------------------<br>
Archives: <a href="https://www.listbox.com/member/archive/247/=now" target="_blank">https://www.listbox.com/member/archive/247/=now</a><br>
RSS Feed: <a href="https://www.listbox.com/member/archive/rss/247/26973280-5ba6a701" target="_blank">https://www.listbox.com/member/archive/rss/247/26973280-5ba6a701</a><br>
Modify Your Subscription:<br>
<a href="https://www.listbox.com/member/?member_id=26973280&id_secret=26973280-3b04af21" target="_blank">https://www.listbox.com/member/?member_id=26973280&id_secret=26973280-3b04af21</a><br>
Unsubscribe Now:<br>
<a href="https://www.listbox.com/unsubscribe/?member_id=26973280&id_secret=26973280-063e9b28&post_id=20150502104110:446F186A-F0D9-11E4-B42B-AC84EB0E84BC" target="_blank">https://www.listbox.com/unsubscribe/?member_id=26973280&id_secret=26973280-063e9b28&post_id=20150502104110:446F186A-F0D9-11E4-B42B-AC84EB0E84BC</a><br>
Powered by Listbox: <a href="http://www.listbox.com" target="_blank">http://www.listbox.com</a><br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
--<br>
Dave Täht<br>
Open Networking needs **Open Source Hardware**<br>
<br>
<a href="https://plus.google.com/u/0/+EricRaymond/posts/JqxCe2pFr67" target="_blank">https://plus.google.com/u/0/+EricRaymond/posts/JqxCe2pFr67</a><br>
_______________________________________________<br>
Cerowrt-devel mailing list<br>
<a href="mailto:Cerowrt-devel@lists.bufferbloat.net">Cerowrt-devel@lists.bufferbloat.net</a><br>
<a href="https://lists.bufferbloat.net/listinfo/cerowrt-devel" target="_blank">https://lists.bufferbloat.net/listinfo/cerowrt-devel</a><br>
</font></span></blockquote></div><br></div>