rtrt - 用于数组输入参数的 Rtrt 存根

Question

我有一个像“void read(uint8 _inout data[5]);”这样的存根。现在我需要期望 data[3] 的值为 2。我已经完成了多种方法，例如“存根读取（（0,0），（0,0），（0,0），（0,2））”“存根读取（{0,0,0,0}， {0,0,0,2})

但他们都没有工作。请帮助我解决这个问题。

Answer 1

您的数组data[5]有 5 个元素，所以我相信这应该有效：

存根读取 1=> ({0,0,0,0,0}, {0,0,0,2,0})

您还可以创建 2 个数组并传递给存根：

数组 in_array, INIT = 0, EV ==

ARRAY out_array, INIT = (0 => 0, 1=> 0, 2=> 0, 3=>2, others=>0), EV ==

存根读取（（in_array，out_array））