Bassem Ghorbel

新しい方法が、値を凍結することで複雑なSTL式の監視速度を向上させる。