I am not really sure how to use SmartTest. I have enabled all the options in the setting browser, but when I code, it somehow get stuck:

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

On Aug 24, 2017, at 12:32 PM, Benoit Verhaeghe <benoit.verhaeghe@inria.fr> wrote:

Hi everyone,

I'm glad to present you the trailer of SmartTest for ESUG
https://www.youtube.com/watch?v=jAvfdN2z5-s

Beno��t Verhaeghe