Lichen

Annotated test_all.sh

180:c4236e61a4f6 275:6a85c86bb1f1
96:2219668ae7d9
45:95831cd5b786
2016-10-14 Paul Boddie file changeset files shortlog Introduced access mode information for unambiguously-traversed attributes so that the appropriate instruction can be generated. Removed the generation of augmented attribute access plans and the computation of general attribute position ambiguity, since the information will not be used: in cases where ambiguity might need to be determined, attributes must be checked to determine their exact nature even if unambiguous.
paul@4 1 
#!/bin/sh
paul@4 2 
 
 paul@45      3 
# Expect failure from the "bad" tests.
 
 paul@45      4 
 
 paul@45      5 
expect_failure() {
 
 paul@45      6 
    return `echo "$FILENAME" | grep -q '_bad[._]'`
 
 paul@45      7 
}
 
 paul@45      8 
 
 paul@45      9 
# Check deduction output for type warnings, indicating that the program contains
 
 paul@45     10 
# errors.
 
 paul@45     11 
 
 paul@45     12 
check_type_warnings() {
 
 paul@45     13 
 
 paul@45     14 
    if [ -e "_deduced/type_warnings" ] && \
 
 paul@45     15 
       [ `stat -c %s "_deduced/type_warnings"` -ne 0 ] && \
 
 paul@45     16 
       ! expect_failure ; then
 
 paul@45     17 
 
 paul@45     18 
       echo "Type warnings in deduced information." 1>&2
 
 paul@45     19 
       return 1
 
 paul@45     20 
    fi
 
 paul@45     21 
 
 paul@45     22 
    return 0
 
 paul@45     23 
}
 
 paul@45     24 
 
 paul@45     25 
# Main program.
 
 paul@45     26 
 
 paul@4     27 
for FILENAME in tests/* ; do
 
 paul@4     28 
 
 paul@4     29 
    # Detect tests in their own subdirectories.
 
 paul@4     30 
 
 paul@4     31 
    if [ -d "$FILENAME" ] ; then
 
 paul@4     32 
        if [ -e "$FILENAME/main.py" ] ; then
 
 paul@4     33 
            FILENAME="$FILENAME/main.py"
 
 paul@4     34 
        else
 
 paul@4     35 
            continue
 
 paul@4     36 
        fi
 
 paul@4     37 
    fi
 
 paul@4     38 
 
 paul@4     39 
    # Run tests without an existing cache.
 
 paul@4     40 
 
 paul@4     41 
    echo "$FILENAME..." 1>&2
 
 paul@4     42 
    if ! ./lplc "$FILENAME" -r ; then exit 1 ; fi
 
 paul@39     43 
 
 paul@39     44 
    # Check for unresolved names in the cache.
 
 paul@39     45 
 
 paul@39     46 
    echo " (depends)..." 1>&2
 
 paul@39     47 
    if grep '<depends>' -r "_cache" && \
 
 paul@45     48 
       ! expect_failure ; then
 
 paul@45     49 
 
 paul@45     50 
       echo "Unresolved names in the cache." 1>&2
 
 paul@39     51 
       exit 1
 
 paul@39     52 
    fi
 
 paul@4     53 
 
 paul@45     54 
    # Check for type warnings in deduction output.
 
 paul@45     55 
 
 paul@45     56 
    echo " (warnings)..." 1>&2
 
 paul@45     57 
    if ! check_type_warnings ; then exit 1 ; fi
 
 paul@45     58 
 
 paul@4     59 
    # Run tests with an existing cache.
 
 paul@4     60 
 
 paul@39     61 
    echo " (cached)..." 1>&2
 
 paul@4     62 
    if ! ./lplc "$FILENAME" ; then exit 1 ; fi
 
 paul@4     63 
 
 paul@45     64 
    echo " (warnings)..." 1>&2
 
 paul@45     65 
    if ! check_type_warnings ; then exit 1 ; fi
 
 paul@45     66 
 
 paul@45     67 
    echo 1>&2
 
 paul@4     68 
done