source: rtems-testing/sim-scripts/tsim-support @ aeb8e90

4.11
Last change on this file since aeb8e90 was aeb8e90, checked in by Joel Sherrill <joel.sherrill@…>, on Aug 10, 2009 at 3:03:10 PM

2009-08-10 Joel Sherrill <joel.sherrill@…>

  • Makefile: Fix dependencies on tsim scripts.
  • edb7312.in: Disable instruction limit until tuned. Only do coverage on 1 MB of RAM. Code is smaller than that and it is faster.
  • gdb-sim-run.in: Clean up killing simulator to hopefully avoid zero length coverage files.
  • rtl22xx.in: Attempt to add coverage and shutdown device support.
  • smdk2410.in: Add coverage and shutdown device support.
  • tsim-support: Tune time limits.
  • Property mode set to 100644
File size: 1.2 KB
Line 
1#
2#  TSIM Shared Support
3#
4#  $Id$
5#
6
7runBSP=tsim-${tsimName}
8
9type ${runBSP} >/dev/null 2>&1
10if [ $? -ne 0 ] ; then
11  echo "Unable to find ${runBSP} on PATH."
12  exit 1
13fi
14
15# required for this to run
16echo | ${runBSP} -nohaspnet >/dev/null
17if [ $? -ne 0 ] ; then
18  echo "No TSIM License for this machine."
19  exit 1
20fi
21
22runARGS()
23{
24  echo "-c ${bspTreeFile} ${1}"
25}
26
27checkBSPFaults()
28{
29  return 0
30}
31
32bspLimit()
33{
34  testname=$1
35  case ${testname} in
36    *stackchk*)limit=5 ;;
37    *fatal*)   limit=1 ;;
38    *psxtime*)
39       case ${tsimName} in
40         leon) limit=240 ;;  # ran in 200 seconds on idle england
41         leon3) limit=240 ;;  # ran in 200 seconds on idle england
42         *)     limit=180 ;;
43       esac
44       ;;
45    *)         limit=60 ;;
46  esac
47  return ${limit}
48}
49
50bspSimTrustedToExit="yes"
51bspGeneratesDeviceTree="yes"
52bspTreeFile=${tsimName}.conf
53
54bspGenerateDeviceTree()
55{
56  if [ ${coverage} = yes ] ; then
57    echo "coverage enable"
58  fi
59  if [ ${limit} -eq 0 ] ; then
60    echo "go ${tsimGoAddress}"
61  else
62    echo "go ${tsimGoAddress} ${limit} s"
63  fi
64  if [ ${coverage} = yes ] ; then
65    echo "coverage save ${2}.cov"
66    echo "shell sleep 1"           # give tsim time to actually write file
67  fi
68  echo "quit"
69 
70}
Note: See TracBrowser for help on using the repository browser.