clang/test/Analysis/exploded-graph-rewriter/edge.dot

   1 // RUN: %exploded_graph_rewriter %s | FileCheck %s -check-prefix=LIGHT
   2 // RUN: %exploded_graph_rewriter --dark %s | FileCheck %s -check-prefixes=DARK
   3
   4 Node0x1 [shape=record,label=
   5  "{{ "state_id": 0, "program_state": null, "program_points": [
   6     {
   7       "kind": "BlockEntrance", "block_id": 1,
   8       "terminator": null, "term_kind": null,
   9       "tag": null, "node_id": 1,
  10       "has_report": 0, "is_sink": 0
  11     }
  12   ]}\l}"];
  13
  14 // LIGHT: Node0x1 -> Node0x2;
  15 // DARK:  Node0x1 -> Node0x2 [color="white"];
  16 Node0x1 -> Node0x2;
  17
  18 Node0x2 [shape=record,label=
  19  "{{ "state_id": 0, "program_state": null, "program_points": [
  20     {
  21       "kind": "BlockEntrance", "block_id": 1,
  22       "terminator": null, "term_kind": null,
  23       "tag": null, "node_id": 1,
  24       "has_report": 0, "is_sink": 0
  25     }
  26  ]}\l}"];