Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / fuzzy / check-fuzzydl.sh @ b75e5a66

History | View | Annotate | Download (238 Bytes)

1
#!/bin/sh
2

    
3
FUZZYDL_PATH=../FuzzyOWL2Tools/FuzzyDL/
4

    
5
cd $FUZZYDL_PATH
6

    
7
cat > input-test
8
timeout 5s java -cp /usr/share/java/gurobi/gurobi.jar:FuzzyDL.jar fuzzydl.parser.Parser input-test
9
if [ $? -ne 0 ]
10
then
11
	>&2 echo "Gurobi Timeout!"
12
fi