kani icon indicating copy to clipboard operation
kani copied to clipboard

Published 20 hours ago • verified publisher icon model-checking

Fix regression tests that require "rmc-flags: --no-undefined-function-checks"

Open danielsn opened this issue 3 years ago • 0 comments

  • [x] Cast/cast_abstract_args_to_concrete.rs (fixed in #2999)
  • [ ] FatPointers/boxmuttrait.rs
  • [ ] FatPointers/boxslice1.rs
  • [ ] Variadic/main.rs

danielsn avatar Oct 15 '21 14:10 danielsn