.cocciconfig 59 B

1234
  1. [spatch]
  2. options = --timeout 200
  3. options = --use-gitgrep