Ecdar / Ecdar/Ecdar-GUI-Web

Engine Console

Open
#63 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
TypeScript
Stars
2
Forks
0
No merged PRs in 30d

Description

make the engine(Reveaal, J-Ecdar) error(s) outputs show in the backend console

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.