Skip to content

Commit f1cc3c7

Browse files
tedinskicelinval
andauthored
Remove duplicate symtab calls from stdlib test (rust-lang#1757)
Co-authored-by: Celina G. Val <[email protected]>
1 parent 6eef3e0 commit f1cc3c7

File tree

1 file changed

+0
-7
lines changed

1 file changed

+0
-7
lines changed

scripts/std-lib-regression.sh

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -73,13 +73,6 @@ export RUSTC="$KANI_DIR/target/kani/bin/kani-compiler"
7373
# Compile rust to iRep
7474
$WRAPPER cargo build --verbose -Z build-std --lib --target $TARGET
7575

76-
# Generate goto-program. This will make sure the representation is well formed.
77-
cd target/${TARGET}/debug/deps
78-
for symtab in *.symtab.json; do
79-
echo "======== File: $symtab"
80-
symtab2gb ${symtab} --out ${symtab}.out
81-
done
82-
8376
echo
8477
echo "Finished Kani codegen for the Rust standard library successfully..."
8578
echo

0 commit comments

Comments
 (0)