File: solve-test-sdp

package info (click to toggle)
sdpb 1.0-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 1,608 kB
  • sloc: cpp: 12,762; makefile: 74; xml: 44; sh: 38
file content (22 lines) | stat: -rw-r--r-- 512 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#!/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"