source: tests/example_scripts/c/run_leak_prover @ 3f21704

abac0-leak
Last change on this file since 3f21704 was 3f21704, checked in by Mei <mei@…>, 11 years ago

1) cleanup alittle X

  • Property mode set to 100755
File size: 776 bytes
Line 
1#!/usr/bin/env sh
2
3if [ -z "${TESTDIR}" ] ; then
4    TESTDIR=../..
5fi
6. ${TESTDIR}/test_util.sh
7
8keystore=`pwd`
9pID=`$eloc/creddy --keyid --cert ${keystore}/IceCream_ID.pem`
10cID=`$eloc/creddy --keyid --cert ${keystore}/Chocolate_ID.pem`
11
12role="${pID}.delicious"
13principal="${cID}"
14
15echo "=========================================="
16echo "=========================================="
17valgrind -v --leak-check=full ./leak_attr IceCream_ID.pem  IceCream_private.pem IceCream_attr.xml Chocolate_ID.pem
18echo "=========================================="
19echo "=========================================="
20valgrind -v --leak-check=full ./leak_prover "$keystore" "$role" "$principal"
21echo "=========================================="
22echo "=========================================="
23
24
Note: See TracBrowser for help on using the repository browser.