#!/bin/sh . ../.function ## PEC.test -- Test PEC feature #UTRACE="0 5M 0" #UOBJDUMP="0 100k 10" #USIMERR="error.sim" #VALGRIND=valgrind export UTRACE_FOLDER=/tmp export UTRACE UOBJDUMP USIMERR VALGRIND DIR=`pwd` DIR_CMD="../../examples/PEC_log" start_msg PEC_check_namefile start_prg PEC_check_namefile -c PEC_check_namefile.cfg sort out/PEC_check_namefile.out > out/PEC_check_namefile.out1 mv out/PEC_check_namefile.out1 out/PEC_check_namefile.out # Test against expected output test_output_diff PEC_check_namefile