diff options
Diffstat (limited to 'src/examples/pfs.c')
| -rw-r--r-- | src/examples/pfs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/examples/pfs.c b/src/examples/pfs.c index a633e24..3359e5b 100644 --- a/src/examples/pfs.c +++ b/src/examples/pfs.c @@ -1,6 +1,6 @@ /* klaar@ida (cleanup of previous code by various IDA-employees) - pintos -v -k -T 120 --fs-disk=2 --qemu -p ../examples/pfs -a pfs -p ../examples/pfs_writer -a pfs_writer -p ../examples/pfs_reader -a pfs_reader -g messages -- -f -q run pfs + pintos -v -k -T 120 --fs-disk=2 --qemu -p ../examples/pfs -a pfs -p ../examples/pfs_writer -a pfs_writer -p ../examples/pfs_reader -a pfs_reader -g messages -- -F=20000 -f -q run pfs Tests that read and write are properly synchronized. Also stresses the filesystem somewhat. |