write-normal write-bad-ptr write-boundary write-zero
write-stdin write-bad-fd
exec-once exec-arg exec-multiple exec-missing exec-bad-ptr
- join-simple join-twice join-killed join-bad-pid
+ wait-simple wait-twice wait-killed wait-bad-pid
multi-recurse multi-oom multi-child-fd);
clean_dir (), exit if $action eq 'clean';
# Run.
my ($timeout) = $test !~ /^multi-/ ? 10 : 600;
- my ($result) = run_pintos ("pintos "
- . "--os-disk=pintos/src/userprog/build/os.dsk "
- . "--fs-disk=output/$test/fs.dsk "
- . "-v run -q -ex \"$test$args\"",
+ my ($result) = run_pintos (["--os-disk=pintos/src/userprog/build/os.dsk",
+ "--fs-disk=output/$test/fs.dsk",
+ "-v", "run", "-q", "-ex", "$test$args"],
LOG => "$test/run",
TIMEOUT => $timeout);
rename "output/$test/fs.dsk", "output/$test/fs.dsk.keep"
sub get_file {
my ($guest_fn, $host_fn) = @_;
- my ($result) = run_pintos ("pintos "
- . "--os-disk=pintos/src/userprog/build/os.dsk "
- . "--fs-disk=output/$test/fs.dsk.keep "
- . "-v get $guest_fn $host_fn",
+ my ($result) = run_pintos (["--os-disk=pintos/src/userprog/build/os.dsk",
+ "--fs-disk=output/$test/fs.dsk.keep",
+ "-v", "get", "$guest_fn", "$host_fn"],
LOG => "$test/get-$guest_fn",
- TIMEOUT => 10,
- EXPECT => 1);
+ TIMEOUT => 10);
die "`pintos get $guest_fn' failed - $result\n"
if $result ne 'ok';
}