• 1) Check that multi-threaded system can be executed, paused, continued, stepped in to and out of and that continuing the system exits gracefully.
• 2) Check that when 'l_test_thread.launch' is executed by stepping through one line at a time, the Threads tool gets updated immediately.
• 3) Run system, check that when paused, use of the Threads tool allows for switching between the current threads and that the callstack gets updated appropriately, check that clicking on the callstack values within the thread update EiffelStudio, check also that the different thread ids are all unique.
• 4) Check that debugger works when thread code is melted by editing the line 'i_str := i.out'
• 5) In the Threads tool, check that the Note can be set for a thread and that this remains throughout the life of the thread.

Compile attached project under EiffelStudio