Aug. 26, 2017
2:30 a.m.
Hi Benoit, 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: Any idea? Updating critiques⦠Alexandre -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: 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
