{ "folders": [ { "path": "." } ], "settings": { "cSpell.words": [ "dealloc", "MIRIFLAGS", "repr", "Zmiri" ], "coverage-gutters.coverageBaseDir": ".", "coverage-gutters.coverageReportFileName": "lcov.info" }, "launch": { "version": "0.2.0", "configurations": [ { "type": "lldb", "request": "launch", "name": "Debug unit tests in library 'token_string'", "cargo": { "args": [ "test", "--no-run", "--lib", "--package=token-string" ], "filter": { "name": "token_string", "kind": "lib" } }, "args": [], "cwd": "${workspaceFolder}" }, { "type": "lldb", "request": "launch", "name": "Debug Example", "cargo": { "args": [ "build", "--example=example", "--package=token-string" ], "filter": { "name": "example", "kind": "example" } }, "args": [], "cwd": "${workspaceFolder}" }, { "type": "lldb", "request": "launch", "name": "Debug integration test 'test_builder'", "cargo": { "args": [ "test", "--no-run", "--test=test_builder", "--package=token-string" ], "filter": { "name": "test_builder", "kind": "test" } }, "args": [], "cwd": "${workspaceFolder}" }, { "type": "lldb", "request": "launch", "name": "Debug integration test 'test_string'", "cargo": { "args": [ "test", "--no-run", "--test=test_string", "--package=token-string" ], "filter": { "name": "test_string", "kind": "test" } }, "args": [], "cwd": "${workspaceFolder}" } ] }, "tasks": { "version": "2.0.0", "tasks": [ { "type": "cargo", "command": "run", "args": [ "--example", "example" ], "problemMatcher": [ "$rustc" ], "label": "Run Example" }, { "type": "cargo", "command": "clippy", "problemMatcher": [ "$rustc" ], "label": "Clippy" }, { "type": "cargo", "command": "clean", "problemMatcher": [ "$rustc" ], "label": "Clean" }, { "type": "cargo", "command": "doc", "args": [ "--all-features" ], "problemMatcher": [ "$rustc" ], "label": "Generate Docs" }, { "type": "cargo", "command": "build", "problemMatcher": [ "$rustc" ], "label": "Build Library" }, { "type": "cargo", "command": "llvm-cov", "args": [ "nextest", "--all-features", "--lcov", "--output-path", "lcov.info" ], "problemMatcher": [ "$rustc" ], "label": "Run Tests with coverage", "group": { "kind": "build", "isDefault": true } }, { "type": "cargo", "command": "nextest", "args": [ "run", "--all-features" ], "problemMatcher": [ "$rustc" ], "label": "Run Tests" }, { "type": "cargo", "command": "test", "args": [ "--doc" ], "problemMatcher": [ "$rustc" ], "label": "Run Doctests" }, { "type": "cargo", "command": "mutants", "args": [ "--test-tool=nextest", "--", "--all-features" ], "problemMatcher": { "fileLocation": "relative", "source": "Mutants", "pattern": [ { "regexp": "^MISSED\\s+([^\\s].*):(\\d+):(\\d+):\\s*(.*)$", "file": 1, "line": 2, "column": 3, "message": 4, } ] }, "label": "Run Mutation Tests" }, { "type": "cargo", "command": "mutants", "args": [ "--test-tool=nextest", "--iterate", "--", "--all-features" ], "problemMatcher": { "fileLocation": "relative", "source": "Mutants", "pattern": [ { "regexp": "^MISSED\\s+([^\\s].*):(\\d+):(\\d+):\\s*(.*)$", "file": 1, "line": 2, "column": 3, "message": 4, } ] }, "label": "Run Mutation Tests Iteration" }, { "type": "shell", "command": "PROPTEST_DISABLE_FAILURE_PERSISTENCE=true MIRIFLAGS='-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE -Zmiri-backtrace=full -Zmiri-tree-borrows' cargo miri nextest run -j 10", "problemMatcher": [ "$rustc" ], "label": "Run Miri Tests" }, { "type": "shell", "command": "MIRIFLAGS='-Zmiri-backtrace=full -Zmiri-tree-borrows' cargo miri run --example example", "problemMatcher": [ "$rustc" ], "label": "Run Miri Example" } ] }, "extensions": { "recommendations": [ "ryanluker.vscode-coverage-gutters" ] } }