From 8181f0c08bdfb19baf851f3a11cc45f77c5b605e Mon Sep 17 00:00:00 2001
From: "andrea3.franchini@mail.polimi.it" <andrea3.franchini@mail.polimi.it>
Date: Tue, 7 Mar 2023 18:30:58 +0100
Subject: [PATCH] Add issue template

---
 .gitlab/issue_templates/issue.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .gitlab/issue_templates/issue.md

diff --git a/.gitlab/issue_templates/issue.md b/.gitlab/issue_templates/issue.md
new file mode 100644
index 0000000..87ddb97
--- /dev/null
+++ b/.gitlab/issue_templates/issue.md
@@ -0,0 +1,15 @@
+# <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) 
+
+## Files
+To investigate your issue, I need:
+- The DOML version you're targeting
+- The PIACERE IDE version you are using
+- A link to DOML model in question
+- The error message (screenshot or copy-n-paste it)
+- Any other information you think it's useful
+
+## Description
-- 
GitLab