Skip to content

Source §3 Non-Det: Always crashes #1617

New issue
New issue
Closed
Closed
Source §3 Non-Det: Always crashes#1617
Labels
BugSomething isn't workingimportantFixing this is important, but not mission-critical
@martin-henz

Description

@martin-henz
martin-henz
opened on Mar 29, 2024

Source §3 Non-Det currently does not work at all: It always crashes:

Screenshot 2024-03-29 at 8 22 32 AM

Metadata

Metadata

Assignees

No one assigned

    Labels

    BugSomething isn't workingimportantFixing this is important, but not mission-critical

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions