Skip to content

Support Multiline Strings in Invariant Expression #1576

@cmoesel

Description

@cmoesel

SUSHI should allow authors to use multiline strings (i.e., """ delimiters) in the Expression: property of Invariant: declarations. See: #shorthand > Invariants - Expression @ 💬.

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