diff --git a/.gitlab/issue_templates/issue.md b/.gitlab/issue_templates/issue.md new file mode 100644 index 0000000000000000000000000000000000000000..87ddb97506806c708911d8c2e8c2c13699be44fe --- /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