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.

Sign up for GitHub

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

Jump to bottom

[Feature] Option #276 as default / arg -r to restart #305

Closed
Hofknecht opened this issue Jan 30, 2022 · 0 comments
Closed

[Feature] Option #276 as default / arg -r to restart #305

Hofknecht opened this issue Jan 30, 2022 · 0 comments
Assignees
@Hofknecht
Labels
medium prio
Projects
STM 1.3.0
Milestone
1.3

Comments

@Hofknecht
Copy link
Owner

Option #276 as default / arg -r to restart
Switch options
remove -h, which is now default always enabled
add -r as argument to restart stm
@Hofknecht Hofknecht added this to the 1.3 milestone Jan 30, 2022
@Hofknecht Hofknecht self-assigned this Jan 30, 2022
@Hofknecht Hofknecht added this to Analyze / Spec in STM 1.3.0 via automation Jan 30, 2022
Hofknecht added a commit that referenced this issue Jan 30, 2022
@Hofknecht
[Feature] Option #276 as default / arg -r to restart (#305), version …
9725c09 
…1.2.2.11
STM 1.3.0 automation moved this from Analyze / Spec to Closed Jan 30, 2022
@Hofknecht Hofknecht mentioned this issue Jan 30, 2022
Closed
@Hofknecht Hofknecht mentioned this issue Feb 7, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Hofknecht Hofknecht

Labels
medium prio
Projects
No open projects
STM 1.3.0
  
Closed
Milestone
1.3
Development

No branches or pull requests
1 participant
@Hofknecht