列表生成列表

Question

简单的问题： 为简单起见：struct只包含一个bool类型的项目：

struct dummy_s {
    is_high : bool;
}; 

我有一个struct矩阵：

matrix : list of list of dummy_s;

我的意图是至少有一个列表，其中包含多于1个'is_high == TRUE'的结构数。 我写的代码有什么问题：

keep matrix.has(it.count(it.is_high) > 1);

Answer 1

list-pseudo-method中的List-pseudo-method当前被认为是随机生成器的输入 - 意思是非生成性的。

生成模型可以是：

matrix : list of list of dummy_s;

idx : uint;
keep idx < value(matrix.size());

keep for each in matrix {
    idx == index => it.count(it.is_high) > 1;
};