mirror of
https://github.com/vocdoni/arbo.git
synced 2026-01-10 06:17:58 -05:00
Add circom test with circuit for CircomVerifierProofs, which allows to automatically check that the data generated from arbo matches the circom circuit of a SMTVerifierProof. Added also GHA workflow to test the circuits with the output of arbo code.
24 lines
403 B
JSON
24 lines
403 B
JSON
{
|
|
"defaultSeverity": "error",
|
|
"extends": [
|
|
"tslint:recommended"
|
|
],
|
|
"jsRules": {},
|
|
"rules": {
|
|
"indent": [
|
|
true,
|
|
"spaces",
|
|
4
|
|
],
|
|
"semicolon": [
|
|
false,
|
|
"always"
|
|
]
|
|
},
|
|
"rulesDirectory": [],
|
|
"linterOptions": {
|
|
"exclude": [
|
|
"node_modules/**"
|
|
]
|
|
}
|
|
} |