diff mx/sanitycheck.py @ 4629:29da09bf4930

Fix a problem with having a MemoryCheckpoint that is also a ControlSplit (InvokeWithException), the ANY_LOCATION can not be this control split in both branches because it may lead to scheduling problems : make ExceptionObject a MemoryCheckpoint
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 17 Feb 2012 13:54:39 +0100
parents 7903b6c28f9c
children 77a997c2bf4e
line wrap: on
line diff