问题标签 [tlc]

在我的规范中，我试图检查序列中的变化是 -1、0 还是 1。

我将这个不变量描述如下：

TLC 模型检查器输出以下内容：

我可以发送带有 smtp 的电子邮件和带有附件的 mime，但是当我阅读电子邮件时，附件没有名称。

我的代码如下：

任何帮助将不胜感激。

非常感谢...

如果我的 excel 文件中有以下可用数据，我想了解如何计算信号的包络

接下来我想以图形方式表示它。谢谢你们。

HackerEarth 中的问题陈述：

一个大的二进制数由大小为 N 的字符串 A 表示，由 0 和 1 组成。您必须对此字符串执行循环移位。循环移位操作定义如下：

如果字符串 A 是 [A0,A1,A2,...,AN−1]，则在执行一次循环移位后，字符串变为 [A1,A2,...,AN−1,A0]。您执行了无限次移位，并且每次都记录了字符串表示的二进制数的值。执行（可能为 0）操作后形成的最大二进制数是 B。您的任务是确定可以执行的循环移位数，以使字符串 A 表示的值第 K 次等于 B。

然而，为了清除所有示例案例，我在提交时遇到了运行时错误。有人能告诉我哪里出错了吗？代码：