2018-04-05 9:10 GMT+02:00 Marcus Denker <marcus.denker@inria.fr>:


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.

+1
��

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