eclipse-gemoc / eclipse-gemoc/gemoc-studio-modeldebugging

gemoc-gen folder and copying the executed model

Open
#60 1 comment 0 reactions 0 assignees View on GitHub
refactoring
Dominant language
Java
Stars
6
Forks
14
PR merge metrics
No merged PRs in 30d

Description

At the moment we always make a copy of the model when executing it. I believe this was originally planned as a way to keep an archive of a model next to its execution trace, but not only we are not serializing traces automatically anymore, we also don't need to make such copy when we are not tracing.

Proposal: should we remove the automated copy of the executed model?

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.