Skip to content

Commit 7c35ac3

Browse files
authored
Merge pull request #12 from ioncakephper:chore/validate-parameters
Chore/validate-parameters
2 parents 241e8ad + 40d664a commit 7c35ac3

File tree

2 files changed

+10
-10
lines changed

2 files changed

+10
-10
lines changed

package-lock.json

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

package.json

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"name": "contract-shield-cli",
3-
"version": "0.2.0",
3+
"version": "0.2.1",
44
"description": "A CLI tool that verifies preconditions, postconditions, and invariants in contracts without altering their original source code. `contract-shield-cli` enforces Design by Contract principles externally, ensuring contracts behave as expected while preserving their integrity.",
55
"main": "index.js",
66
"bin": {
@@ -10,15 +10,15 @@
1010
"test": "jest",
1111
"start": "node index.js"
1212
},
13-
"keywords": {
13+
"keywords": [
1414
"static-analysis",
1515
"developer-tools",
16-
"software-engineering",
17-
"formal-methods",
18-
"program-verification",
19-
"automated-testing",
20-
"debugging-tools"
21-
},
16+
"software-engineering",
17+
"formal-methods",
18+
"program-verification",
19+
"automated-testing",
20+
"debugging-tools"
21+
],
2222
"author": {
2323
"name": "Ion Gireada",
2424
"url": "https://github.com/ioncakephper/contract-shield-cli"

0 commit comments

Comments
 (0)