From: Ben Pfaff Date: Wed, 10 Aug 2022 05:37:05 +0000 (-0700) Subject: test improvement X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c59425770be98fa36071d0e55cbb5b47e910f5f4;hp=c59425770be98fa36071d0e55cbb5b47e910f5f4;p=pspp test improvement ---