Cuddle can't generate (or parse rules) that involve literal bigints
还没有人认领这个 Issue。
评估
调研方向
首先使用所示的 CDDL 输入复现报告的 literal-bigint 情况,然后将 cuddle gen 和 parse 的行为与 cddl generate 进行比较。跟踪字面量值在生成和解析过程中的表示方式;完成的标准是生成并解析出完全准确的 bigint,且不发生截断或舍入。
由索引模型根据 Issue 内容生成。
描述
With this cddl file:
a_fixed_bigint = -69820359824690251347463789091535876986214416475039738375086693072001776
cuddle gen produces:
➜ doRule a_fixed_bigint
3b 273920e1e0305aef # negative(2826326395652692719)
it parses the rule as: Literal (VNInt 2826326395652692720).
whereas cddl does generate this value:
➜ cddl b.cddl generate
-69820359824690251347463789091535876986214416475039738375086693072001776
- 主要语言
- Haskell
- 星标
- 8
- 派生
- 5
- 平均合并
- 3 天 12 小时
- 30 天内合并 PR
- 4
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南,环境需要你自己搭建:先看它的 README,通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
IntersectMBO/cuddle 的其他 Issue
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
IntersectMBO/cuddle#168 ·
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
IntersectMBO/cuddle#167 ·
-
bug
难度 2/5 1-3 小时 新手友好度 72/100
IntersectMBO/cuddle#166 ·
-
难度 4/5 3-5 天 新手友好度 43/100
IntersectMBO/cuddle#223 ·
-
难度 4/5 3-5 天 新手友好度 48/100
IntersectMBO/cuddle#217 ·
查看 IntersectMBO/cuddle 的全部 Issue
相似的 Issue
-
documentation
难度 2/5 1-3 小时 新手友好度 76/100
bittide/bittide-hardware#1357 ·
-
bug dependencies
难度 2/5 1-3 小时 新手友好度 70/100
alunduil/network-arbitrary#251 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 1 天内回复
-
`logProbability` returns `NaN` for the Poisson distribution with `λ = 0`可能已有人在做 @youqad 于 1 天前认领。 未关闭
难度 2/5 1-3 小时 新手友好度 78/100
haskell/statistics#235 ·
-
Bug
难度 2/5 1-3 小时 新手友好度 68/100