#!/bin/bash

for file in *.pins25; do
    echo "Running $file"
    java ../../src/pins25/phase/SynAn.java "$file" 2>&1 | tail -n 1
    printf "\n"
done