Checking cspFiles/BricRingCell0.csp

Checking Test(inter(inputs(BricRingCell0),outputs(BricRingCell0)) == {}) [T= ERROR
xtrue
BEGIN TRACE example=0 process=1
error
END TRACE example=0 process=1

Checking HideAll(BricRingCell0) :[divergence free [FD]]
xtrue
BEGIN TRACE example=0 process=0

END TRACE example=0 process=0

Checking BricRingCell0 :[divergence free [FD]]
true

Checking LHS_InputDet(BricRingCell0) [F= RHS_InputDet(BricRingCell0)
true

Checking LHS_OutputDec_A(BricRingCell0) [F= RHS_OutputDec_A(BricRingCell0)
true

Checking LHS_OutputDec_B(BricRingCell0,write0) [F= RHS_OutputDec_B(BricRingCell0,write0)
true

Checking LHS_OutputDec_B(BricRingCell0,read0) [F= RHS_OutputDec_B(BricRingCell0,read0)
true