{
  "id": "bb5e4c0d-f964-439c-97b6-bdb9747de3f4",
  "snapshot": "chrome",
  "instruction": "Can you make Bing the main search engine when I look stuff up on the internet?",
  "source": "https://support.google.com/chrome/answer/95426?sjid=16867045591165135686-AP",
  "config": [
    {
      "type": "launch",
      "parameters": {
        "command": [
          "google-chrome",
          "--remote-debugging-port=1337"
        ]
      }
    },
    {
      "type": "launch",
      "parameters": {
        "command": [
          "socat",
          "tcp-listen:9222,fork",
          "tcp:localhost:1337"
        ]
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "chrome"
  ],
  "evaluator": {
    "postconfig": [
      {
        "type": "launch",
        "parameters": {
          "command": [
            "pkill",
            "chrome"
          ]
        }
      },
      {
        "type": "launch",
        "parameters": {
          "command": [
            "google-chrome",
            "--remote-debugging-port=1337"
          ]
        }
      },
      {
        "type": "sleep",
        "parameters": {
          "seconds": 3
        }
      }
    ],
    "func": "match_in_list",
    "result": {
      "type": "default_search_engine"
    },
    "expected": {
      "type": "rule",
      "rules": {
        "expected": [
          "Microsoft Bing",
          "Bing"
        ]
      }
    }
  },
  "proxy": false,
  "fixed_ip": false,
  "possibility_of_env_change": "low"
}