Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Problem doing a cold-start for mosart... #24

Closed
ekluzek opened this issue Jun 28, 2019 · 1 comment
Closed

Problem doing a cold-start for mosart... #24

ekluzek opened this issue Jun 28, 2019 · 1 comment
Assignees
Labels

Comments

@ekluzek
Copy link
Contributor

ekluzek commented Jun 28, 2019

This is the same problem as in RTM...

ESCOMP/RTM#14

It's not as much of a problem though because by default mosart does a cold-start anyway (see #21).

@ekluzek ekluzek added the bug label Jun 28, 2019
@ekluzek ekluzek self-assigned this Jun 28, 2019
ekluzek added a commit to ekluzek/MOSART that referenced this issue Nov 8, 2019
@ekluzek
Copy link
Contributor Author

ekluzek commented Nov 8, 2019

Fixed in mosart1_0_35

@ekluzek ekluzek closed this as completed Nov 8, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant