trevon/pipe
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: stop verify, reports and briefs from claiming more than pipe checked #1

Merged
trevon merged 12 commits from fix/verify-soundness-and-injection into main 2026-09-22 18:24:06 +00:00
Conversation 0 Commits 12 Files changed 24 +5 -9
3 changed files with 5 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 10db6fbb57 - Show all commits

chore: apply dart format to the files this branch changed

Prev Next 
The commits above were made without the pre-commit hook, which could not
run dart at the time.
trvon 2026-09-22 12:09:38 -06:00
commit 10db6fbb57
Signed by: trevon
GPG key ID: 38686EA797D7A8A7

4
lib/src/cli.dart
View file

@ -531,9 +531,7 @@ class VerifyCommand extends Command<int> {
if (!baselineFile.existsSync()) {
throw PipeException('baseline file not found: $baselinePath');
}
final entries = decodeBaselineEntries(
_readText(baselinePath, 'baseline'),
);
final entries = decodeBaselineEntries(_readText(baselinePath, 'baseline'));
final selected = _readRules(results);
final project = await loadProject(

4
test/baseline_test.dart
View file

@ -105,9 +105,7 @@ void main() {
_copyTree(Directory(fixturePath), temp);
for (final entity in Directory('${temp.path}/lib').listSync()) {
if (entity is! File || !entity.path.endsWith('.dart')) continue;
entity.writeAsStringSync(
'// shifted\n' * 7 + entity.readAsStringSync(),
);
entity.writeAsStringSync('// shifted\n' * 7 + entity.readAsStringSync());
}
final shifted = await analyzeProject(
await loadProject(temp.path),

6
test/excluded_files_test.dart
View file

@ -32,9 +32,9 @@ void main() {
final temp = Directory.systemTemp.createTempSync('pipe-excluded');
_copyTree(Directory('test/fixtures/stuck_loading'), temp);
File('${temp.path}/analysis_options.yaml').writeAsStringSync(
'analyzer:\n exclude:\n - $excluded\n',
);
File(
'${temp.path}/analysis_options.yaml',
).writeAsStringSync('analyzer:\n exclude:\n - $excluded\n');
final analysis = await analyzeProject(
await loadProject(temp.path),