Skip to content

Implement file system access for Windows #1013

Closed
@RalfJung

Description

@RalfJung

On Unix systems Miri can read and write as well as create and delete files, but not on Windows.

This would also allow us to get rid of the "TERM" env var hack (added in #1225).

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-shimsArea: This affects the external function shimsA-windowsArea: affects only Windows targetsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions