mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
75ff9d58c5
Estimated hours taken: 0.2 Import Peter Schachte's ROBDD package into the Mercury repository as `mercury/robdd'. Vendor tag is `robdd'. Release tag is `REL_1_0'.
28 lines
604 B
Bash
Executable File
28 lines
604 B
Bash
Executable File
#!/bin/sh
|
|
|
|
echo "Timing run on `hostname` begun `date`"
|
|
|
|
run=1
|
|
runs=10
|
|
reps="naive old thresh rglb new"
|
|
|
|
while [ $run -le $runs ] ; do
|
|
echo "beginning run $run of $runs"
|
|
for rep in $reps ; do
|
|
uptime
|
|
echo "testing $rep version..."
|
|
${rep}tests/test_glb 24 26
|
|
${rep}tests/test_iff 26 30
|
|
${rep}tests/test_restrict 22 25
|
|
${rep}tests/test_rglb 14 16
|
|
${rep}tests/test_abunify 13 15
|
|
${rep}tests/test_rename 8 9
|
|
${rep}tests/test_abexit 8 9
|
|
${rep}tests/test_var 30 32
|
|
${rep}tests/test_vars 30 32
|
|
done
|
|
run=`expr $run + 1`
|
|
done
|
|
|
|
echo "Timing run completed `date`"
|