Apply appropriate changes from main branch to bring win0405-branch up
[pintos-anon] / grading / filesys / sm-seq-random.c
1 const char test_name[] = "sm-seq-random";
2 #define TEST_SIZE 5678
3 #include "seq-random.inc"