20121015 Frank

Progress

• Some bugs fix
• 測試Case 2

  node{
     int name;
     edge e;
  }

  edge{
     node start;
     node end;
     int name;
  }

• 結果
  • 使用auto_unfold的話DIVA不會有任何錯誤，但VM無法顯示

Meeting Log

• 要做Design Camp來探討是否可以取消掉auto_unfold

Research

• Call Path or execution path一樣是否有的不一樣?
• Data不一樣是否有的不一樣
• Call path該如何定義
• 要如何定義執行兩次的 case