Skip to content

internal error with private function in determinate processes #75

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