Commit c22b173c1fee932a9469f95c71f74a9ec0ca1784 Parent 569f3787da2c44963bb25869c98ea492517a5716 Author John MacFarlane <jgm@berkeley.edu> Date Mon, 28 Dec 2015 16:05:27 -0800 'make format' - reformat tests as well.