We present \texttt{muRelBench}, a suite of synthetic benchmarks for weakly-relational abstract domains and their operations. For example, the benchmarks can support experimental evaluations of proposed algorithms such as domain closure.

翻译：我们提出了\texttt{muRelBench}，这是一套针对弱关系抽象域及其操作的合成基准测试集。例如，这些基准可支持对域闭包等提议算法进行实验评估。