1 2 3 4 5
-> Functionality "Run Wanda program" is implemented by -> shell command "lua src/wanda.lua %(test-body-file)" -> Functionality "Trace Wanda program" is implemented by -> shell command "lua src/wanda.lua --trace 15 %(test-body-file)"