#!/bin/sh
set -e

WORKDIR="$(mktemp -d)"
trap 'rm -rf "$WORKDIR"' EXIT

cp test.xml "$WORKDIR/" 2>/dev/null \
  || cp /usr/share/doc/sdpb-doc/examples/test.xml "$WORKDIR/" 2>/dev/null \
  || { echo "ERROR: cannot find test.xml"; exit 1; }

cd "$WORKDIR"
sdpb -s test.xml --noFinalCheckpoint

test -f test.out

grep "primalObjective = 1.84026576313204924668804017173" test.out > /dev/null || {
    echo "FAIL: primalObjective differs from expected value."
    cat test.out
    exit 1
}

echo "solve-test-sdp: OK"
