#! /bin/sh

srcdir=`dirname $0`
. "${srcdir}/sc-valgrind.sh"

with_valgrind ./ed448-test
