Skip to content

Enable filtering on a range of assertions#6077

Merged
keyboardDrummer merged 5 commits into
dafny-lang:masterfrom
keyboardDrummer:filterPositionRange
Jan 24, 2025
Merged

Enable filtering on a range of assertions#6077
keyboardDrummer merged 5 commits into
dafny-lang:masterfrom
keyboardDrummer:filterPositionRange

Conversation

@keyboardDrummer

Copy link
Copy Markdown
Member

What was changed?

Besides --filter-position :<line>, also support --filter-position :<start>-<end>, --filter-position :<start>- and --filter-position :-<end>

How has this been tested?

Extended existing test

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

@keyboardDrummer keyboardDrummer enabled auto-merge (squash) January 24, 2025 13:05
@MikaelMayer MikaelMayer disabled auto-merge January 24, 2025 13:55
MikaelMayer
MikaelMayer previously approved these changes Jan 24, 2025

@MikaelMayer MikaelMayer left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Disabling auto-merge so that you can choose to apply suggestions, otherwise looks good 👍

class LineRange(int start, int end) {
public int Start { get; } = start;
public int End { get; } = end;

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A few GitHub warnings above

Comment thread Source/DafnyDriver/CliCompilation.cs Outdated
public int End { get; } = end;

public bool Contains(int value) {
return start <= value && value <= end;

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm ok to consider end to be inclusive here.

Comment thread Source/DafnyDriver/CliCompilation.cs Outdated
keyboardDrummer and others added 2 commits January 24, 2025 14:59
Co-authored-by: Mikaël Mayer <MikaelMayer@users.noreply.github.com>
@keyboardDrummer keyboardDrummer enabled auto-merge (squash) January 24, 2025 14:00
@keyboardDrummer keyboardDrummer merged commit 76a7caa into dafny-lang:master Jan 24, 2025
@keyboardDrummer keyboardDrummer deleted the filterPositionRange branch January 24, 2025 16:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants