diff --git a/.c8rc.json b/.c8rc.json index 7e52d6b..d71b9c8 100644 --- a/.c8rc.json +++ b/.c8rc.json @@ -6,8 +6,10 @@ "**/test/**", "**/coverage/**", "**/.compiler_cache/**", + "**/scripts/**", "src/bin/cli.ts", - "scripts/gen_preamble.ts" + "src/lib/souffle/value_header.ts", + "src/lib/souffle/value_parser.ts" ], "reporter": ["lcov", "text-summary"], "all": true, diff --git a/.vscode/settings.json b/.vscode/settings.json index ca8194d..7d09175 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -20,6 +20,6 @@ "eslint.enable": true, "eslint.validate": ["javascript", "typescript"], "editor.codeActionsOnSave": { - "source.fixAll.eslint": true + "source.fixAll.eslint": "explicit" } }