~burner/xsb/debianized-xsb

« back to all changes in this revision

Viewing changes to examples/xmc/Metalock/test.sh

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

examples/xmc/Metalock/test.sh

 

1

#!/bin/sh

 

2

 

 

3

## File:      test.sh

 

4

 

 

5

## This file is called in ../testall.sh.

 

6

## $1 is expected to be the XSB executable

 

7

## $2 is expected to be the command options passed to XSB

 

8

 

 

9

echo "-------------------------------------------------------"

 

10

echo "--- Running Metalock/test.sh                        ---"

 

11

echo "-------------------------------------------------------"

 

12

 

 

13

XSB=$1

 

14

opts=$2

 

15

 

 

16

# gentest.sh "$XSB $opts" FILE-TO-TEST COMMAND

 

17

 

 

18

../gentest.sh "$XSB $opts" test "test(2,1,nomutualex(1))." nomutex_out

 

19

../gentest.sh "$XSB $opts" test "test(2,1,liveness(1,1))." liveness_out

 

20

/bin/mv -f test_new test_old

 

21

cat nomutex_out liveness_out > test_new

 

22

/bin/rm -f nomutex_out liveness_out

Loggerhead is a web-based interface for Breezy
Version: 2.0.1