9 //STATE TRANSITION END STATE ACTION(S)
13 fs_close(pid: int, fd: int)
18 process_exit(pid: int, i: int)
19 [my_process_exit(ctxt, pid) == 1]
21 {destroy_scenario(i);}
31 fs_read(pid: int, fd: int, ts_sec: long, ts_nsec: long)
32 [test_args(ctxt,pid, fd) == 1]
34 {warning("Trying to read from a closed fd");print_ts(ts_sec, ts_nsec); skip_FSM();}
36 fs_write(pid: int, fd: int)
37 [test_args(ctxt,pid, fd) == 1]
39 {warning("Trying to write to a closed fd");skip_FSM();}
41 process_exit(pid: int, i: int)
42 [my_process_exit(ctxt, pid) == 1]
44 {destroy_scenario(i);}
46 fs_open(pid: int, fd: int, i: int)
47 [test_args(ctxt, pid, fd)==1]
49 {destroy_scenario(i);skip_FSM();}
51 fs_dup3(pid: int, newfd: int, i: int)
52 [test_args(ctxt, pid, newfd)==1]
54 {destroy_scenario(i);skip_FSM();}