Skip to content

internal error with private function in determinate processes #75

@irakoton

Description

@irakoton

The following file (bug.txt) triggers
Internal Error: [process_determinate.ml >> find_one_action] Should not be applied on a nil process.
When trying different variations, the internal error does not appear when the process is not determinate or if the function g is not private.

Tested on branches master and fix_bug_67_to_72.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions