Ecdar / Ecdar/Reveaal

Expanded logging

Open
#153 0 comments 0 reactions 0 assignees View on GitHub
enhancement large endeavour new feature
Dominant language
Rust
Stars
4
Forks
6
PR merge metrics
No merged PRs in 30d

Description

Currently the logging in `Reveaal` is not sent to the GUI, even if they may be relevant (mainly `info`-logs). There should be added a way of logging information that should be sent to the GUI. This implementation should be able to separate the responses between multiple clients.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by tracing how logging currently flows in Reveaal and how messages are sent to the GUI. Identify the existing client communication path before deciding how information logs should be routed; done means relevant logs reach the GUI and responses remain separated between multiple clients.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
api, backend
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.