Skip to content

[Fulminate] Fix (or delete) --without-ownership-checking mode #512

@rbanerjee20

Description

@rbanerjee20

Not sure if we even want this mode any more. It is supposed to not perform any ownership checking, and I introduced it in the early stages of Fulminate's development when the ownership checking machinery was not complete. Enabling it currently results in seg faults on all the tests in tests/cn (most likely because we still have calls to ownership-related functions being generated but no initialisation of the relevant ownership ghost state in main).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions