1// RUN: %exploded_graph_rewriter %s \ 2// RUN: | FileCheck %s -check-prefixes=CHECK,LIGHT,COLOR 3// RUN: %exploded_graph_rewriter %s --dark \ 4// RUN: | FileCheck %s -check-prefixes CHECK,DARK,COLOR 5// RUN: %exploded_graph_rewriter %s --gray \ 6// RUN: | FileCheck %s -check-prefixes=CHECK,LIGHT,GRAY 7// RUN: %exploded_graph_rewriter %s --gray --dark \ 8// RUN: | FileCheck %s -check-prefixes CHECK,DARK,GRAY 9 10// LIGHT: Node0x1 [shape=record,label=< 11// DARK: Node0x1 [shape=record,color="white",fontcolor="gray80",label=< 12// CHECK-SAME: <tr> 13// LIGHT-SAME: <td bgcolor="gray70"> 14// DARK-SAME: <td bgcolor="gray20"> 15// CHECK-SAME: <b>State 0</b> 16// CHECK-SAME: </td> 17// CHECK-SAME: </tr> 18Node0x1 [shape=record,label= 19 "{ 20 { "state_id": 0, "program_state": null, 21 "program_points": [ 22 { 23 "kind": "BlockEntrance", "block_id": 1, 24 "terminator": null, "term_kind": null, 25 "tag": null, "node_id": 1, 26 "has_report": 0, "is_sink": 0 27 } 28 ] 29 } 30\l}"]; 31 32// CHECK: Node0x2 [ 33// CHECK-SAME: <tr> 34// CHECK-SAME: <td colspan="3" align="left"> 35// COLOR-SAME: <font color="red"><b>Bug Report Attached</b></font> 36// GRAY-SAME: <b>Bug Report Attached</b> 37// CHECK-SAME: </td> 38// CHECK-SAME: </tr> 39// CHECK-SAME: <tr> 40// CHECK-SAME: <td colspan="3" align="left"> 41// COLOR-SAME: <font color="cornflowerblue"><b>Sink Node</b></font> 42// GRAY-SAME: <b>Sink Node</b> 43// CHECK-SAME: </td> 44// CHECK-SAME: </tr> 45Node0x2 [shape=record,label= 46 "{ 47 { "state_id": 0, "program_state": null, 48 "program_points": [ 49 { 50 "kind": "BlockEntrance", "block_id": 1, 51 "terminator": null, "term_kind": null, 52 "tag": null, "node_id": 2, 53 "has_report": 1, "is_sink": 1 54 } 55 ] 56 } 57\l}"]; 58