#!/usr/bin/env bash

file=f4sat-field-char

source test/diff/diff_source.sh

$(pwd)/msolve -f input_files/$file.ms -o test/diff/$file.1.res \
      -S -g 2 -n 2
if [ $? -gt 0 ]; then
    print_exit 1
fi

diff test/diff/$file.1.res output_files/$file.res
if [ $? -gt 0 ]; then
    print_exit 2
fi

rm test/diff/$file.1.res

normal_exit
