diff --git a/.gitlab/issue_templates/issue.md b/.gitlab/issue_templates/issue.md index 87ddb97506806c708911d8c2e8c2c13699be44fe..c681b7c9a99b18734f7b375e6c530a27cac8142d 100644 --- a/.gitlab/issue_templates/issue.md +++ b/.gitlab/issue_templates/issue.md @@ -1,8 +1,8 @@ -# <Title> +# Issue Title -[ ] The model is satisfied when it shouldn't (or viceversa) -[ ] There's an issue with the model checker -[ ] There's an error with the DOMLR (DSL for requirements) +- [ ] The model is satisfied when it shouldn't (or viceversa) +- [ ] There's an issue with the model checker +- [ ] There's an error with the DOMLR (DSL for requirements) ## Files To investigate your issue, I need: