(strip_exit_codes) Include _ in the list of characters considered as

[pintos-anon] / grading / userprog / exec-bad-ptr.exp

(exec-bad-ptr) begin
(exec-bad-ptr) end
exec-bad-ptr: exit(0)
--OR--
(exec-bad-ptr) begin
exec-bad-ptr: exit(-1)