Skip to content

Error UNKNOWN: unhandled crashes in the semantic analyser #80

@ruizmaa

Description

@ruizmaa

Two unhandled exceptions raised as UNKNOWN errors instead of producing a valid result.

Examples

{tB_05.01, c0070} in { [eba_CT:x212], [eba_CT:x213] }
{tB_05.01, c0080} in { [eba_GA:AL], [eba_GA:AT], ... }
with {tR_04.00.a, c*, default: 0, interval: true} [where qPYB = [eba_qIA:qx2090]]: {r0100} + {r0060} >= 9000000 * {r0040}

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    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