[WIP] Add STM tests for Sys module - #129

Merged

jmid merged 33 commits into

ocaml-multicore:mainfrom

Lucccyo:sys-stm-tests

Jan 17, 2023

Commits on Jan 16, 2023

add commands fileexists, mkdir, rmdir, readdir with version 1 of type filesys

Lucccyo
authored and
jmid
committed
ec4860d
working version 2 of type filesys

Lucccyo
authored and
jmid
committed
61eb2d7
adding touch command, new interface STM_base, some cleanup

Lucccyo
authored and
jmid
committed
60af52b
add windows os support

Lucccyo
authored and
jmid
committed
24eeda9
style adjustment, make touch return an integer, dune file update

Lucccyo
authored and
jmid
committed
fd28eef

Commits on Jan 17, 2023

temporary fixing mingW Windows bug

Lucccyo
authored and
jmid
committed
06ce34d
separate error messages between unix and win32

Lucccyo
authored and
jmid
committed
36bfaa2
[TRY] fix error handling from Win32 on mkdir (not a directory => no such file or directory)

Lucccyo
authored and
jmid
committed
8f7442e
modifying touch - need to know how windows manage

Lucccyo
authored and
jmid
committed
0f40582
track windows error

Lucccyo
authored and
jmid
committed
c7c4c01
separate OS

Lucccyo
authored and
jmid
committed
c953955
make touch's postcond 'true' bc it is not a feature tested

Lucccyo
authored and
jmid
committed
192d6a2
separate para tests for unix based and negative para tests for windows

Lucccyo
authored and
jmid
committed
e1914c5
put negative tests to Windows and MacOS machine

Lucccyo
authored and
jmid
committed
ac12bd4
update path generator, 50% to generate an existing path, 50% to generate random one

Lucccyo
authored and
jmid
committed
ab83b4c
whitespace changes
jmid
committed
8b9c267
attempt to clean-up Windows CI logs by silencing its stderr
jmid
committed
0e1a64c
pass environment
jmid
committed
79054f0
try redirecting output instead
jmid
committed
df59d77
Compute the sandbox root only once

shym
authored and
jmid
committed
d0e425a
Use Map.Make.update to update the Map_names

shym
authored and
jmid
committed
573fb27
Use Sys.mkdir with safer permissions for the sandbox root

shym
authored and
jmid
committed
8030e74
Use safer removal commands

shym
authored and
jmid
committed
9e5454c
Remove all permissions

shym
authored and
jmid
committed
23faa61
Use 'echo' to implement Touch on all OSes

shym
authored and
jmid
committed
670f395
Use a type `path` to clarify `cmd` signature

shym
authored and
jmid
committed
1f42255
Convert Touch into a Mkfile

shym
authored and
jmid
committed
cd3c5ea
Use a relative path for the sandbox

shym
authored and
jmid
committed
47e65f4
Add other error messages spotted on Windows and macOS

shym
authored and
jmid
committed
29fb75c
Reclaim all resources for the `uname` process

shym
authored and
jmid
committed
a4f2721
add pair_gen for generating path and name together
jmid
committed
4d7900e
refactor pair_gen generator
jmid
committed
88ccf15
remove commented out code
jmid
committed
f932eda

Navigation Menu

Uh oh!

[WIP] Add STM tests for Sys module - #129

[WIP] Add STM tests for Sys module#129
jmid merged 33 commits into
ocaml-multicore:mainfrom
Lucccyo:sys-stm-tests

Commits on Jan 16, 2023

add commands fileexists, mkdir, rmdir, readdir with version 1 of type filesys

working version 2 of type filesys

adding touch command, new interface STM_base, some cleanup

add windows os support

style adjustment, make touch return an integer, dune file update

Commits on Jan 17, 2023

temporary fixing mingW Windows bug

separate error messages between unix and win32

[TRY] fix error handling from Win32 on mkdir (not a directory => no such file or directory)

modifying touch - need to know how windows manage

track windows error

separate OS

make touch's postcond 'true' bc it is not a feature tested

separate para tests for unix based and negative para tests for windows

put negative tests to Windows and MacOS machine

update path generator, 50% to generate an existing path, 50% to generate random one

whitespace changes

attempt to clean-up Windows CI logs by silencing its stderr

pass environment

try redirecting output instead

Compute the sandbox root only once

Use Map.Make.update to update the Map_names

Use Sys.mkdir with safer permissions for the sandbox root

Use safer removal commands

Remove all permissions

Use 'echo' to implement Touch on all OSes

Use a type `path` to clarify `cmd` signature

Convert Touch into a Mkfile

Use a relative path for the sandbox

Add other error messages spotted on Windows and macOS

Reclaim all resources for the `uname` process

add pair_gen for generating path and name together

refactor pair_gen generator

remove commented out code