This repository has been archived by the owner on Mar 10, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
/
package.json
65 lines (65 loc) · 1.84 KB
/
package.json
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
{
"name": "violat",
"version": "1.0.16",
"description": "Find test harnesses that expose linearizability violations.",
"main": "lib/index.js",
"bin": {
"violat": "lib/cli/cli.js",
"violat-outcomes": "lib/cli/outcomes.js",
"violat-histories": "lib/cli/histories.js",
"violat-history-checker": "lib/cli/history-checker.js",
"violat-validator": "lib/cli/validator.js"
},
"preferGlobal": true,
"dependencies": {
"@types/debug": "0.0.30",
"@types/meow": "^6.0.0",
"@types/node": "^10.12.19",
"@types/split": "^0.3.28",
"chance": "^1.0.13",
"console.table": "^0.10.0",
"debug": "^3.1.0",
"event-stream": "^3.3.4",
"fs-extra": "^5.0.0",
"growl": "^1.10.3",
"inquirer": "^8.2.0",
"meow": "^9.0.0",
"mkdirp": "^0.5.1",
"mustache": "^2.3.0",
"seedrandom": "^2.4.2",
"source-map-support": "^0.5.12",
"tmp-promise": "^1.0.5",
"uuid": "^3.2.1",
"violat-fixer": "^1.0.1",
"xml2js": "^0.4.19"
},
"devDependencies": {
"@types/chance": "^1.0.0",
"@types/fs-extra": "^5.0.4",
"mocha": "^9.1.3",
"typescript": "^3.2.4"
},
"engines": {
"node": ">=10.0"
},
"scripts": {
"build": "tsc",
"pretest": "npm run build",
"test": "mocha",
"preintegration-test": "npm run test",
"integration-test": "mocha -t 60000 integration-test/**/*.js",
"consistency-experiments": "node resources/scripts/experiments/consistency.js",
"monitoring-experiments": "bash ./resources/scripts/experiments/monitoring.sh"
},
"repository": {
"type": "git",
"url": "git+https://github.com/michael-emmi/violat.git"
},
"keywords": [],
"author": "Michael Emmi <michael.emmi@gmail.com>",
"license": "MIT",
"bugs": {
"url": "https://github.com/michael-emmi/violat/issues"
},
"homepage": "https://github.com/michael-emmi/violat#readme"
}