bsconfig.json

{
  "name": "verified-react",
  "sources": [
    {
      "dir": "examples/simple",
      "subdirs": true,
      "generators": [{
        "name": "imandra-extract-re",
        "edge": ["Counter.ml", ":", "Counter.ire"]
      }]
    },
    {
      "dir": "examples/tictactoe",
      "subdirs": true,
      "generators": [{
        "name": "imandra-extract-re",
        "edge": ["TicTacToe_Logic.ml", ":", "TicTacToe_Logic.ire"]
      }]
    },
    {
      "dir": "examples/todomvc",
      "subdirs": true,
      "generators": [{
        "name": "imandra-extract-re",
        "edge": ["TodoMvc_Model.ml", ":", "TodoMvc_Model.ire"]
      }]
    },
    {
      "dir": "scripts"
    },
    {
      "dir": "src"
    }
  ],
  "package-specs": {
    "module": "commonjs",
    "in-source": true
  },
  "suffix": ".bs.js",
  "bs-dependencies": [
    "reason-react",
    "bs-imandra-client",
    "@glennsl/bs-jest",
    "@glennsl/bs-json",
    "imandra-prelude",
    "bs-css",
    "bs-decoders",
    "bs-jest-expect-imandra"
  ],
  "reason": {
    "react-jsx": 2
  },
  "warnings": {
    "error" : "+101"
  },
  "refmt": 3,
  "generators": [
    {
      "name": "imandra-extract-re",
      "command": "imandra-extract -reason -o $out $in"
    },
    {
      "name": "imandra-extract-ml",
      "command": "imandra-extract -o $out $in"
    }
  ]
}