Question regarding "Lack of OnCompletion check allows to delete the app"

[ratik21]

Great tool!

Hi, i was running tealer for this contract in our algo-builder/examples. And i came accross:

Lack of OnCompletion check allows to delete the app
	Check the path in can_delete_1.dot

But in the pyTEAL code delete app is handled (check here). While analyzing the cfg, it shows a red path during onInitialize (app deployment) when appID == 0. How can app be deleted for this path? Could you please validate/confirm?

Here is the o/p path.

[ratik21]

I get same path for "Lack of OnCompletion check allows to update the app"