When an acceptance tests such as at1.txt is being developed (or failing), we might wish to use the debugger to determine where our implementation or contracts are failing. To do this, we must execute our code under development (usually in the W-code directory) from the IDE directly. To do this we must set up the Execution Parameters (accessible from the Run menu).

Click on the Add tab and provide a name for the profile, e.g. at1.txt.

As shown above we must provide Arguments. In the above case, I pass in “-b” for ETF batch mode and the location of the acceptance test (in the above case ../tests/at1.txt).