From 53216da03038c8ca2765e0782e92cbeee2b4b723 Mon Sep 17 00:00:00 2001 From: "andrea3.franchini@mail.polimi.it" <andrea3.franchini@mail.polimi.it> Date: Tue, 7 Mar 2023 18:32:00 +0100 Subject: [PATCH] Update .gitlab/issue_templates/issue.md --- .gitlab/issue_templates/issue.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.gitlab/issue_templates/issue.md b/.gitlab/issue_templates/issue.md index 87ddb97..c681b7c 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: -- GitLab