blob: 681ffda5f99a9afca7638ace37f26ad7dd47008e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
---
name: Feature request
about: Suggest a feature in KLEE
title: ''
labels: ''
assignees: ''
---
**Is your feature request related to a problem? Please describe.**
A clear and concise description of what the problem is. E.g., I find it difficult to use KLEE when [...]; I would find it very useful for KLEE to [...]
**Describe the solution you'd like**
A clear and concise description of what you want to happen.
|
