promela - 如何在promela中获取随机数据
问题描述
我遇到了一个问题，“如果 babble1 是 1，那么 babbled 帧是随机生成的，序列号在 0 到 255 之间。”所以我需要定义一个内联函数来获取随机数据。我应该在 C 中包含一个 rand.h旋转？还是有其他解决方案？
解决方案
推荐阅读
- javascript - 为什么当我使用 class 或 id 选择相同的元素时输出不同？
- javascript - 自动提升是否会降低 JavaScript 的性能？
- javascript - 如何在没有唯一键的情况下在 Firebase 中添加新数据
- javascript - 为什么没有解析就不会执行带有延迟的javascript承诺链接？
- javascript - Angular ERROR TypeError：无法读取未定义的属性“用户名”
- typescript - 返回条件类型而不进行不安全强制转换或使用“任何”？
- x86 - 为什么现代cpu可以在一个时钟周期内执行一些指令？
- django - Django 中特定用户类型的特定字段
- powershell - Powershell [环境] 不一致
- javascript - 使用 JS 数组的幻灯片放映