From 5884845f81f0c43e9b4c86f0458b4fac9f909c86 Mon Sep 17 00:00:00 2001 From: "Jiawei \"Tyler\" Gu" <47795840+tylergu@users.noreply.github.com> Date: Thu, 29 Feb 2024 14:11:59 -0600 Subject: [PATCH] Update alarm-inspection-report.md --- .../ISSUE_TEMPLATE/alarm-inspection-report.md | 41 +++++++++++-------- 1 file changed, 25 insertions(+), 16 deletions(-) diff --git a/.github/ISSUE_TEMPLATE/alarm-inspection-report.md b/.github/ISSUE_TEMPLATE/alarm-inspection-report.md index 16aadc0610..c18c8538d0 100644 --- a/.github/ISSUE_TEMPLATE/alarm-inspection-report.md +++ b/.github/ISSUE_TEMPLATE/alarm-inspection-report.md @@ -1,21 +1,30 @@ ---- name: Alarm Inspection Report about: An analysis report for the alarms produced by Acto -title: "[Alarm Inspection] " labels: '' -assignees: '' +body: + - type: textarea + id: problem + attributes: + label: What happened? + description: | + Why did Acto raise this alarm? What happened in the state transition? Why Acto’s oracles raised an alarm? + validations: + required: true ---- + - type: textarea + id: root-cause + attributes: + label: What did you expect to happen? + description: | + Why did the operator behave in this way? Please find the exact block in the operator source code resulting in the behavior. + validations: + required: true -## What happened -Why did Acto raise this alarm? -What happened in the state transition? -Why Acto’s oracles raised an alarm? - - -## Root Cause -Why did the operator behave in this way? Please find the exact block in the operator source code resulting in the behavior. - -## Expected behavior? -If it is a true alarm, how to fix it in the operator code? -If it is a false alarm, how to fix it in Acto code? + - type: textarea + id: expected + attributes: + label: Root Cause + description: | + If it is a true alarm, how to fix it in the operator code? If it is a false alarm, how to fix it in Acto code? + validations: + required: true