check-verifast-proofs-negative.mysh

cd alloc
  cd collections
    cd linked_list.rs-negative
      !verifast -rustc_args "--edition 2021 --cfg test" -skip_specless_fns verified/lib.rs
      !refinement-checker --rustc-args "--edition 2021 --cfg test" original/lib.rs verified/lib.rs
      diff ../../../../library/alloc/src/collections/linked_list.rs original/linked_list.rs
    cd ..
  cd ..
cd ..