Merge pull request #75 from CL8192/main

add ci tests update usertests
pull/76/head
chyyuu 3 years ago committed by GitHub
commit 87cd106b67
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -63,3 +63,4 @@ jobs:
- name: Run usertests
run: cd os && make run TEST=1
timeout-minutes: 10

@ -5,19 +5,46 @@
extern crate user_lib;
static SUCC_TESTS: &[&str] = &[
"matrix\0",
"exit\0",
"fantastic_text\0",
"filetest_simple\0",
"forktest_simple\0",
"forktest\0",
"forktest2\0",
"forktest_simple\0",
"forktree\0",
"hello_world\0",
"matrix\0",
"huge_write\0",
"mpsc_sem\0",
"phil_din_mutex\0",
"pipe_large_test\0",
"pipetest\0",
"race_adder_atomic\0",
"race_adder_mutex_blocking\0",
"race_adder_mutex_spin\0",
"race_adder_arg\0",
"sleep_simple\0",
"sleep\0",
"sleep_simple\0",
"sync_sem\0",
"test_condvar\0",
"threads_arg\0",
"threads\0",
"yield\0",
"run_pipe_test\0",
];
static FAIL_TESTS: &[&str] = &[
"stack_overflow\0",
"race_adder_loop\0",
"priv_csr\0",
"priv_inst\0",
"store_fault\0",
"until_timeout\0",
"stack_overflow\0",
"race_adder\0",
"huge_write_mt\0",
];
static FAIL_TESTS: &[&str] = &["stack_overflow\0"];
use user_lib::{exec, fork, waitpid};

Loading…
Cancel
Save