Skip to content

Fix std::tmpnam deprecation in deductive verifier #36

Description

@raghav198

std::tmpnam is deprecated, because between generating the filename and opening it via ExecuteAndWait, another process may claim the same name and create a race condition. Modern variants that atomically open the file don't work here because ExecuteAndWait exepcts a filename and not a handle; we should implement a workaround at some point

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    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