ci: remove -Zlist from kani cmd; update download link from vrs CI

error: invalid value 'list' for '--unstable <UNSTABLE_FEATURE>'
  [possible values: async-lib, autoharness, concrete-playback, c-ffi,
  float-lib, function-contracts, gen-c, ghost-state, lean,
  loop-contracts, mem-predicates, restrict-vtable, source-coverage,
  stubbing, quantifiers, uninit-checks, unstable-options,
  valid-value-checks]

Author: zjp-CN

.github/gen_core.json.sh

@@ -13,7 +13,7 @@ export VERIFY_RUST_STD_LIBRARY=$WORKSPACE/verify-rust-std/library
 # * update runid after verify-rust-std submodule syncs
 # * update snapshots after runid changes
 rm tmp -rf
-gh run download -D tmp -R model-checking/verify-rust-std ca5f7b8bb3f19
+gh run download -D tmp -R model-checking/verify-rust-std 16777123952
 
 ls -alh $VERIFY_RUST_STD_LIBRARY
 

.github/workflows/test.yml

@@ -73,12 +73,12 @@ jobs:
       - name: Kani list
         working-directory: verify-rust-std
         if: ${{ env.AUTO == '' }}
-        run:  kani list -Zlist ${{ env.UNSTABLE_ARGS }} --std ./library --format=json
+        run:  kani list ${{ env.UNSTABLE_ARGS }} --std ./library --format=json
 
       - name: Kani list with Autoharness
         working-directory: verify-rust-std
         if: ${{ env.AUTO == '-autoharness' }}
-        run: kani autoharness -Z autoharness --list -Z list ${{ env.UNSTABLE_ARGS }} --std ./library --format=json
+        run: kani autoharness -Z autoharness --list ${{ env.UNSTABLE_ARGS }} --std ./library --format=json
 
       - name: View list
         working-directory: verify-rust-std