Add source information to Break command
@@ -146,7 +146,7 @@ export class IVProgProcessor {
funcStore,
func.variablesDeclarations
);
- const finalSto = this.executeCommands(stoWithVars, func.commands);
+ const finalSto = await this.executeCommands(stoWithVars, func.commands);
this.stores.pop();
this.context.pop();
return finalSto;