tests/test.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

#!/bin/bash

echo "== CONSTANT ABSTRACT DOMAIN"
for a in sources/*.c; do
    if ../analyze --const-interp $a > /tmp/analyze_out.txt;
        then 
           if diff -B /tmp/analyze_out.txt results/`basename -s .c $a`.constants.txt > /dev/null
               then echo "OK    $a"
               else echo "FAIL  $a"
            fi
        else echo "TODO  $a";
    fi;
done;

echo "== INTERVALS ABSTRACT DOMAIN"
for a in sources/*.c; do
    if ../analyze --interv-interp $a > /tmp/analyze_out.txt;
        then 
           if diff -B /tmp/analyze_out.txt results/`basename -s .c $a`.intervals.txt > /dev/null
               then echo "OK    $a"
               else echo "FAIL  $a"
            fi
        else echo "TODO  $a";
    fi;
done;