[WIP] Add STM tests for Sys module#129

Merged

jmid merged 33 commits intoocaml-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
working version 2 of type filesys

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

Lucccyo
authored and
jmid
committed
add windows os support

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

Lucccyo
authored and
jmid
committed

Commits on Jan 17, 2023

temporary fixing mingW Windows bug

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

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

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

Lucccyo
authored and
jmid
committed
track windows error

Lucccyo
authored and
jmid
committed
separate OS

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

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

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

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

Lucccyo
authored and
jmid
committed
whitespace changes
jmid
committed
attempt to clean-up Windows CI logs by silencing its stderr
jmid
committed
pass environment
jmid
committed
try redirecting output instead
jmid
committed
Compute the sandbox root only once

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

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

shym
authored and
jmid
committed
Use safer removal commands

shym
authored and
jmid
committed
Remove all permissions

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

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

shym
authored and
jmid
committed
Convert Touch into a Mkfile

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

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

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

shym
authored and
jmid
committed
add pair_gen for generating path and name together
jmid
committed
refactor pair_gen generator
jmid
committed
remove commented out code
jmid
committed