Frans Kaashoek f6a37c17f2 Standarize the way tests are run and report errors
Support running one test, by specifying the name as a command argument to usertests
2019-09-19 06:58:28 -04:00
..
2019-08-27 13:13:03 -04:00
2019-09-11 10:04:40 -04:00
2019-09-10 12:30:10 -04:00
2019-09-11 10:04:40 -04:00
2019-09-11 10:04:40 -04:00
2019-09-11 10:04:40 -04:00
2019-09-11 10:04:40 -04:00
2019-09-11 10:04:40 -04:00
2019-09-10 12:30:10 -04:00
2019-09-11 10:04:40 -04:00
2019-08-27 13:13:03 -04:00
2019-09-11 10:04:40 -04:00
2019-09-11 10:04:40 -04:00
2019-09-10 12:30:10 -04:00
2019-09-10 12:30:10 -04:00
2019-09-11 10:04:40 -04:00
2019-09-10 12:30:10 -04:00