check-verifast-proofs.mysh

cd alloc
  cd collections
    cd linked_list.rs
      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 ..