package.json

{
  "name": "@crytic/properties",
  "version": "0.0.1",
  "description": "Pre-made invariants for fuzz testing smart-contracts",
  "main": "index.js",
  "type": "module",
  "scripts": {
    "compile": "hardhat compile",
    "postinstall": "git submodule update --init --recursive",
    "test": "echo \"Error: no test specified\" && exit 1",
    "format": "prettier --write . && npm run format-embedded-solidity",
    "format-embedded-solidity": "prettier --write \"**/*.md\" --embedded-language-formatting=auto --plugin prettier-plugin-solidity --tab-width 4 --print-width 120 && prettier --write \"**/*.md\"",
    "lint": "npm run lint-check-format && npm run lint-check-links",
    "lint-check-format": "prettier --check .",
    "lint-check-links": "find . -name '*.md' -not -path './node_modules/*' -not -path './lib/*' -not -path './contracts/Math/ABDKMath64x64/*' -print0 | xargs -0 -n1 markdown-link-check"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/crytic/properties.git"
  },
  "author": "Trail of Bits",
  "license": "MIT",
  "bugs": {
    "url": "https://github.com/crytic/properties/issues"
  },
  "homepage": "https://github.com/crytic/properties#readme",
  "dependencies": {
    "@openzeppelin/contracts": "^5.4.0",
    "markdown-link-check": "^3.14.2",
    "prettier": "^3.6.2",
    "prettier-plugin-solidity": "^2.2.0",
    "solmate": "^6.8.0"
  },
  "devDependencies": {
    "@crytic/properties": "file:.",
    "hardhat": "^3.0.15"
  }
}