On 3 Apr 2018, at 21:56, Christophe Demarey <christophe.demarey@inria.fr> wrote:

Nice addition!
I should say that names are not really intention revealing.
What about haltIfTestExecutionEnvironment and haltIfDefaultExecutionEnvironment ?

To long and too implementation centered. 

I would even shorten it to haltIfTest and haltIfNotTest.

Le 2 avr. 2018 �� 21:12, Marcus Denker <marcus.denker@inria.fr> a ��crit :

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. In addition, the PR adds a helper method to make checking if the current
execution environment is a test run a bit easier:  "CurrentExecutionEnvironment value isTest���.

Marcus