Skip to content

Commit 5f51bcc

Browse files
committed
Add new pp_cmd cases
1 parent d68c267 commit 5f51bcc

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/sys/stm_tests.ml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,9 @@ struct
2020
let pp_path = pp_list pp_string in
2121
match x with
2222
| File_exists x -> cst1 pp_path "File_exists" par fmt x
23+
| Is_directory x -> cst1 pp_path "Is_directory" par fmt x
24+
| Remove (x, y) -> cst2 pp_path pp_string "Remove" par fmt x y
25+
| Rename (x, y) -> cst2 pp_path pp_path "Rename" par fmt x y
2326
| Mkdir (x, y) -> cst2 pp_path pp_string "Mkdir" par fmt x y
2427
| Rmdir (x, y) -> cst2 pp_path pp_string "Rmdir" par fmt x y
2528
| Readdir x -> cst1 pp_path "Readdir" par fmt x

0 commit comments

Comments
 (0)