path: root/tests/test.sh

#!/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;