fixme test no longer is a fixme-test

model-checking · Aug 2, 2024 · 75fefa9 · 75fefa9
1 parent ac3dd18
commit 75fefa9
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 24 deletions.
diff --git a/.../cast_abstract_args_to_concrete_fixme2.rs → ...ni/Cast/cast_abstract_args_to_concrete.rs b/.../cast_abstract_args_to_concrete_fixme2.rs → ...ni/Cast/cast_abstract_args_to_concrete.rs
diff --git a/tests/kani/Cast/cast_abstract_args_to_concrete_fixme.rs b/tests/kani/Cast/cast_abstract_args_to_concrete_fixme.rs