1 2 3
Checking cspFiles/BricRingCell4.cspChecking Test(inter(inputs(BricRingCell4),outputs(BricRingCell4)) == {}) [T= ERROR