Relax ordering constraints for check blocks
florianschanda opened this issue · 0 comments
florianschanda commented
Multiple check blocks for the same type are evaluated in unspecified order.
Currently in vcg we assume the same order that TRLC has used; but we should not do that. We can emulate this with an overapproximation: we can execute all check blocks in parallel.