Cell3_saida_1.386891104772E12.log 96 Bytes
 1
 2
 3
Checking cspFiles/Cell3.csp

Checking Test(inter(inputs(Cell3),outputs(Cell3)) == {}) [T= ERROR