Add regression test for #21 (#22)

model-checking · May 26, 2021 · 24aedd6 · 24aedd6
1 parent 56560a1
commit 24aedd6
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/rust-tests/cbmc-reg/Cast/fixme_path.rs b/rust-tests/cbmc-reg/Cast/fixme_path.rs
@@ -0,0 1,7 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 use std::path::Path;
 
 fn main() {
  let path = Path::new("./foo/bar.txt");
 }