Definition of requirements
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
阅读 internal/frontend/repl/testdata/verification_definition_owned.sysml 第 7 行和第 20 行附近的内容，然后追踪此验证定义在 REPL 测试中的用法。判断 costOK 引用是否必需或冗余，并更新测试数据或说明其用途；当定义的要求保持一致且相关测试通过时，即为完成。
由索引模型根据 Issue 内容生成。
描述
I don't understand the need of line 7 in https://github.com/Open-MBEE/OpenSysML/blob/a662c2bce8882349feeac0c54a29952fde1cc143/internal/frontend/repl/testdata/verification_definition_owned.sysml#L4
It looks redundant with line 20 (to me) because costOK is mentioned nowhere.
- 主要语言
- Go
- 星标
- 47
- 派生
- 13
- 平均合并
- 15 小时 13 分钟
- 30 天内合并 PR
- 928
环境准备
- 提供 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
Open-MBEE/OpenSysML 的其他 Issue
-
难度 3/5 1-2 天 新手友好度 55/100
维护者通常 1 天内回复
-
enhancement
难度 5/5 一周以上 新手友好度 25/100
Open-MBEE/OpenSysML#1628 · 3 条评论 ·
维护者通常 1 天内回复
-
spec compliance
难度 4/5 3-5 天 新手友好度 48/100
Open-MBEE/OpenSysML#1576 · 2 条评论 ·
维护者通常 1 天内回复
-
question
难度 4/5 1-2 天 新手友好度 48/100
Open-MBEE/OpenSysML#1575 · 2 条评论 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 25/100
维护者通常 1 天内回复
查看 Open-MBEE/OpenSysML 的全部 Issue
相似的 Issue
-
automation doc-healer documentation
难度 2/5 1-3 小时 新手友好度 65/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 90/100
tsukumogami/tsuku#2804 ·
维护者通常 1 天内回复
-
Anthropic /v1/messages: only the last thinking block of an assistant message is kept可能已有人在做 @Shayan12456 今天认领。 未关闭
难度 2/5 1-3 小时 新手友好度 88/100
维护者通常 1 天内回复
-
raised-by:verifier
难度 2/5 1-3 小时 新手友好度 82/100
medici-finance/assay#5039 ·
维护者通常 1 天内回复
-
metax CheckHealth reads Status.Capacity, so unhealthy Metax-GPU nodes are never cleaned up可能已有人在做 @barbierajput378-pixel 今天认领。 未关闭kind/bug
难度 2/5 1-3 小时 新手友好度 82/100
Project-HAMi/HAMi#3343 · 1 条评论 ·
维护者通常 1 天内回复