4 Commits

Author	SHA1	Message	Date
Ralf Jung	da2260db44	make sure opening a file fails with isolation enabled	2020-08-10 10:10:08 +02:00
Ralf Jung	5657f08bea	fs: move isolation handling to inside trait	2020-08-08 15:24:30 +02:00
Samrat Man Singh	bdef57ea45	Flush to stdout from FileDescriptor::write for Stdout ... Also, remove unnecessary `-Zmiri-disable-isolation` in test	2020-08-04 20:40:48 +05:30
Samrat Man Singh	bea7113eb8	Add impl FileDescriptor for stdin, stdout, stderr ... - Use `FileDescriptor::read` for stdin reads - Use `FileDescriptor::write` for stdout/err writes - Handle stdout/err reads in `FileDescriptor::read`	2020-08-04 01:14:52 +05:30