Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Changing tests to not use dafny_0 and /countVerificationErrors:0 #3160

Merged
merged 123 commits into from
Dec 9, 2022
Merged

Changing tests to not use dafny_0 and /countVerificationErrors:0 #3160

merged 123 commits into from
Dec 9, 2022

Conversation

davidcok
Copy link
Collaborator

@davidcok davidcok commented Dec 8, 2022

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

davidcok and others added 30 commits January 29, 2021 12:41
Adding quicktest
97ac9b6
Edit per comment from Remy
87f0eee
Merge branch 'master' of https://github.com/dafny-lang/dafny
848ae6b
Merge branch 'master' of https://github.com/dafny-lang/dafny
4194195
Merge branch 'master' of https://github.com/dafny-lang/dafny
9b54f5f
Merge branch 'master' of https://github.com/dafny-lang/dafny
be99f87
Merge branch 'master' of https://github.com/dafny-lang/dafny
c706f5d
Merge branch 'master' of https://github.com/dafny-lang/dafny
63e22eb
Merge branch 'master' of https://github.com/dafny-lang/dafny
22d7433
Merge branch 'master' of https://github.com/dafny-lang/dafny
78c577d
Merge branch 'master' of https://github.com/dafny-lang/dafny
5795f9f
Merge branch 'master' of https://github.com/dafny-lang/dafny
044c107
@davidcok
Merge branch 'master' into cok-quicktest
69e27cf
Merge branch 'master' of https://github.com/dafny-lang/dafny
f42c745
@davidcok
Merge branch 'master' into cok-quicktest
9e92bd8
Merge branch 'master' of https://github.com/dafny-lang/dafny
92825dc
Merge branch 'master' of https://github.com/dafny-lang/dafny
e201a77
Merge branch 'master' of https://github.com/dafny-lang/dafny
e02d6ce
Merge branch 'master' of https://github.com/dafny-lang/dafny
0465b15
Merge branch 'master' of https://github.com/dafny-lang/dafny
68f52ce
Merge branch 'master' of https://github.com/dafny-lang/dafny
fe933e2
Merge branch 'master' of https://github.com/dafny-lang/dafny
6f34117
Merge branch 'master' of https://github.com/dafny-lang/dafny
c396e83
Merge branch 'master' of https://github.com/dafny-lang/dafny
433c824
Merge branch 'master' of https://github.com/dafny-lang/dafny
82c8060
Merge branch 'master' of https://github.com/dafny-lang/dafny
7859237
Merge branch 'master' of https://github.com/dafny-lang/dafny
8bd7d03
Merge branch 'master' of https://github.com/dafny-lang/dafny
42be55b
Merge branch 'master' of https://github.com/dafny-lang/dafny
7ef5288
Merge branch 'master' of https://github.com/dafny-lang/dafny
98c5e41
@davidcok davidcok added the run-deep-tests Tells CI to run all tests label Dec 8, 2022
MikaelMayer
MikaelMayer reviewed Dec 8, 2022
View reviewed changes
Copy link
Member

@MikaelMayer MikaelMayer left a comment

Choose a reason for hiding this comment

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

I think one test's output is problematic, otherwise, great addition to make tests stricter !

Test/errortests/InvalidArgument1.dfy.expect Outdated Show resolved Hide resolved
Test/git-issues/github-issue-2563.dfy Show resolved Hide resolved
Test/lit.site.cfg Show resolved Hide resolved
robin-aws
robin-aws reviewed Dec 8, 2022
View reviewed changes
Scripts/test-exit.py Outdated Show resolved Hide resolved
Scripts/test-exit.py Show resolved Hide resolved
robin-aws
robin-aws approved these changes Dec 8, 2022
View reviewed changes
Copy link
Member

@robin-aws robin-aws left a comment

Choose a reason for hiding this comment

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

I especially like that some tests had %dafny_0 directly replaced by %dafny, meaning they didn't need the former in the first place. :)

@davidcok davidcok enabled auto-merge (squash) December 8, 2022 23:47
@davidcok davidcok merged commit f981089 into dafny-lang:master Dec 9, 2022
@davidcok davidcok deleted the cok-2487E branch December 9, 2022 00:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MikaelMayer MikaelMayer MikaelMayer left review comments

@robin-aws robin-aws robin-aws approved these changes

Assignees
No one assigned
Labels
run-deep-tests Tells CI to run all tests
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@davidcok @MikaelMayer @robin-aws