Skip to content

Implement file system access for Windows #1013

New issue
New issue
Closed
Closed
Implement file system access for Windows#1013
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
@RalfJung

Description

@RalfJung
RalfJung
opened on Oct 21, 2019

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

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions