resolve-design-errors

プロジェクトのドキュメントに、確認できるインストール手順がありません。 プロジェクトの手順を見る

含まれるファイル

• assets/design_error_assumption.yaml
• assets/design_error_cascading.yaml
• assets/design_error_conditionally_executed.yaml
• assets/design_error_enable_as_input.yaml
• assets/design_error_parameter.yaml
• assets/design_error_short_circuit_and.yaml
• assets/design_error_short_circuit_or.yaml
• assets/intentional_defensive_logic.yaml
• assets/intentional_negation_guard_stateflow.yaml
• assets/pattern_catalog.yaml
• manifest.yaml
• references/api-reference.md
• references/fix-strategy.md
• scripts/buildDepthLimitedTrace.p
• scripts/buildSlice.p
• scripts/checkEnvironment.p
• scripts/classifyDeadLogic.p
• scripts/computeReach.p
• scripts/defaultConfig.p
• scripts/detectCascade.p
• scripts/extractFindings.p
• scripts/isolateRootCauses.p
• scripts/loadSldvResults.p
• scripts/runDesignErrorDetection.p
• scripts/sldv_find_de_root_cause.p