On 3 April 2018 at 03:12, Marcus Denker <marcus.denker@inria.fr> wrote:
Hi,

As we can not very easily decide if we are inside a test execution or not there was the idea to have special #halt messages��


This PR implements them:


There is now #haltIfInsideTest and #haltfOutsideTest. I

Should the standard #halt default to one of these?�� Or left as is? (I've no clue, just the question arises).


cheers -ben��