affected-verification/package.json at main · opsle/affected-verification · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
{
  "name": "@opsle/affected-verification",
  "version": "0.1.0",
  "private": true,
  "type": "module",
  "bin": {
    "affected-verification": "./bin/affected-verification.js"
  },
  "exports": "./src/index.js",
  "scripts": {
    "check": "node --check src/*.js && node --check bin/*.js && node --check tools/*.js && node --check tests/*.js && python3 -c \"import ast,pathlib; ast.parse(pathlib.Path('tools/python-check-boundaries.py').read_text())\"",
    "test": "node --test",
    "conformance": "node ./tools/conformance.js",
    "determinism": "node --test --test-name-pattern='deterministic|stable|identical'",
    "verify": "npm run check && npm test && npm run conformance && npm run determinism && npm run verify:av-exp-003",
    "benchmark:av-exp-001": "./benchmark/av-exp-001/reproduce.sh",
    "benchmark:av-exp-002": "./benchmark/av-exp-002/reproduce.sh",
    "benchmark:av-exp-003": "./benchmark/av-exp-003/reproduce.sh",
    "verify:av-exp-003": "node ./benchmark/av-exp-003/verify-results.mjs",
    "build:tasks-capability": "npm --prefix packages/tasks-capability run build",
    "pack:tasks-capability": "npm pack ./packages/tasks-capability",
    "verify:tasks-capability": "node tools/verify-tasks-capability.js"
  },
  "engines": {
    "node": ">=20"
  },
  "license": "Apache-2.0"
}