From: John Ousterhout Date: Fri, 1 May 2020 23:56:30 +0000 (-0700) Subject: Mark test alarm-priority as timing-sensitive X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1f5f225664a03ad505038955f72d1c643365583;hp=d1f5f225664a03ad505038955f72d1c643365583;p=pintos-anon Mark test alarm-priority as timing-sensitive ---