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

Add issue template

parent 6518ccf4
No related branches found
No related tags found
No related merge requests found
# <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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment