Skip to content

Commit

Permalink
Fix copyright check for expected tests (#3170)
Browse files Browse the repository at this point in the history
This PR modifies the pattern used to exclude files from the copyright
check for `expected` files. This ensures we check the copyright in files
under `tests/expected/` while it skips the check for `expected` and
`*.expected` files. It also adds/modifies copyright headers for some
files that weren't being checked until now.

Resolves #3141
  • Loading branch information
adpaco-aws authored May 3, 2024

Verified

This commit was signed with the committer’s verified signature.
euclio Andy Russell
1 parent 9e34364 commit 36f715c
Showing 6 changed files with 8 additions and 4 deletions.
2 changes: 1 addition & 1 deletion scripts/ci/copyright-exclude
Original file line number Diff line number Diff line change
@@ -10,7 +10,7 @@ Cargo.lock
LICENSE-APACHE
LICENSE-MIT
editorconfig
expected
expected$
gitattributes
gitignore
gitmodules
2 changes: 1 addition & 1 deletion tests/expected/coroutines/main.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT

#![feature(coroutines, coroutine_trait)]
2 changes: 1 addition & 1 deletion tests/expected/coroutines/pin/main.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT

// Test contains a call to a coroutine via a Pin
2 changes: 2 additions & 0 deletions tests/expected/function-contract/modifies/refcell_fixme.rs
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
use std::cell::RefCell;
use std::ops::Deref;

2 changes: 1 addition & 1 deletion tests/expected/offset-wraps-around/main.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT

// Check that a high offset causes a "wrapping around" behavior in CBMC.
2 changes: 2 additions & 0 deletions tests/expected/slice_c_str/c_str_fixme.rs
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
#![feature(rustc_private)]
#![feature(c_str_literals)]
//! FIXME: <https://github.com/rust-lang/rust/issues/113333>

0 comments on commit 36f715c

Please sign in to comment.