AVMベリファイアは、エラーが発生すると、フラッシュログに書き込みます。ドキュメントでは、ベリファイアはジャンプが発生する可能性のある「すべての可能なブランチ」にアクセスすると記載されています。ただし、出力を追跡しようとすると、まだかなり混乱します。それを正しく解釈する方法はありますか？全体の流れは混乱しているようです。
たとえば、次のマーキングの意味は何ですか。
マージファースト
マージ電流
マージターゲット
マージ後
さらに、レジスタ、スコープスタック、オペランドスタックを備えたマシン命令とマシン状態があります。命令を表示し、後で状態が変更された場合、たとえば、PushFalseによってオペランドスタックにブール値が表示されることを理解しています-（Boolean [B]）。ただし、MERGE FIRST、MERGE CURRENTなどと組み合わせて、先行する命令がなくても状態が書き込まれる場合があります。これはどういう意味ですか？