mirror of
https://github.com/gbowne1/ClassicOS.git
synced 2024-11-22 14:16:52 -08:00
16 lines
667 B
Markdown
16 lines
667 B
Markdown
---
|
|
name: Bug report
|
|
about: Create a bug report to help us improve 88os
|
|
title: ''
|
|
labels: ''
|
|
assignees: ''
|
|
|
|
---
|
|
|
|
If you found a bug in 88os, please provide:
|
|
|
|
1) A clear and concise description of what the bug is: what happened and what you expected to happen.
|
|
2) Steps to reproduce the bug. Ideally, you would provide a small code example triggering the bug and the exact command line used to run KLEE. Please make sure the bug is still present in the mainline.
|
|
3) The warnings and error messages issued by KLEE
|
|
4) Any relevant information about your platform: the output of `klee --version`, OS version, environment variables, directory in which KLEE is run, etc.
|