Skip to content

Android: implement support for libc time APIs #3888

New issue
New issue
Closed
#3910
Closed
Android: implement support for libc time APIs#3888
#3910
Labels
A-shimsArea: This affects the external function shimsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementE-good-first-issueA good way to start contributing, mentoring is available
@RalfJung

Description

@RalfJung
RalfJung
opened on Sep 15, 2024

We currently don't support getting the current time on Android.
The test command for this is ./miri --target aarch64-linux-android libc-time.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-shimsArea: This affects the external function shimsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementE-good-first-issueA good way to start contributing, mentoring is available

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions