On 3 Apr 2018, at 00:19, Ben Coman <btc@openinworld.com> wrote:



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).

I would keep it for now as is.. it is the simplest to have one ���halt��� that always halts and then variants (there
is halt once, too, which makes often more sense than #halt).

Marcus