tree e503edea526ffc9cd046114d1b6fced7850c5e50
parent 746361936518f56549726c3e661606e5f28a1b96
author Andrew Waterman <waterman@eecs.berkeley.edu> 1391158765 -0800
committer Andrew Waterman <waterman@eecs.berkeley.edu> 1391158765 -0800
Use TESTNUM instead of x28 directly