test cases/rewrite/1 basic/rmTgt.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

[
  {
    "type": "target",
    "target": "exe0",
    "operation": "target_rm"
  },
  {
    "type": "target",
    "target": "trivialprog1",
    "operation": "target_rm"
  },
  {
    "type": "target",
    "target": "trivialprog9",
    "operation": "target_rm"
  }
]