Skip to content
Snippets Groups Projects
Unverified Commit 53216da0 authored by Andrea Franchini's avatar Andrea Franchini Committed by Andrea Franchini
Browse files

Update .gitlab/issue_templates/issue.md

parent 8181f0c0
No related branches found
No related tags found
No related merge requests found
# <Title> # Issue Title
[ ] The model is satisfied when it shouldn't (or viceversa) - [ ] The model is satisfied when it shouldn't (or viceversa)
[ ] There's an issue with the model checker - [ ] There's an issue with the model checker
[ ] There's an error with the DOMLR (DSL for requirements) - [ ] There's an error with the DOMLR (DSL for requirements)
## Files ## Files
To investigate your issue, I need: To investigate your issue, I need:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment