1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
#!/usr/bin/env bash
# Copyright 2022 Contributors to the Parsec project.
# SPDX-License-Identifier: Apache-2.0
# Script for running valgrind against the set of tests
# Intended for running in the Ubuntu container
set -euf -o pipefail
if [[ ! -z ${RUST_TOOLCHAIN_VERSION:+x} ]]; then
rustup override set ${RUST_TOOLCHAIN_VERSION}
fi
#################################
# Run the TPM simulation server #
#################################
tpm_server &
sleep 5
tpm2_startup -c -T mssim
##########################
# Install cargo-valgrind #
##########################
apt install -y valgrind
cargo install cargo-valgrind
#################
# Run the tests #
#################
TEST_TCTI=mssim: RUST_BACKTRACE=1 RUST_LOG=info cargo valgrind test -- --test-threads=1 --nocapture
|
