File: update_errors.sh

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (19 lines) | stat: -rwxr-xr-x 484 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
#!/usr/bin/env bash
set -e

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
SAIL=${SAIL:=sail}

for i in `ls $DIR/pass/ | grep sail`;
do
    shopt -s nullglob;
    for file in $DIR/pass/${i%.sail}/*.sail;
    do
        $SAIL --no-memo-z3 --strict-bitvector pass/${i%.sail}/$(basename $file) 2> ${file%.sail}.expect || true;
    done
done

for file in $DIR/fail/*.sail;
do
    $SAIL --no-memo-z3 --strict-bitvector fail/$(basename $file) 2> ${file%.sail}.expect || true;
done