Ecdar / Ecdar/Reveaal

Query with mismatching parenthesis

Open
#97 1 comment 0 reactions 2 assignees Claimed by @seblund View on GitHub
enhancement
Dominant language
Rust
Stars
4
Forks
6
PR merge metrics
No merged PRs in 30d

Description

If I run the query "(Administration || Machine || Researcher" where the end parenthesis is missing from the GUI using the Reveaal engine then I get the message "The query was cancelled".
This could be replaced with a more helpful error message.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.