~burner/xsb/debianized-xsb

« back to all changes in this revision

Viewing changes to examples/xmc/ABP/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/ABP/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 ABP/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('ABP', abp)." abptest_out

 

19

../gentest.sh "$XSB $opts" test "test('Buggy ABP', buggyabp)." buggytest_out

 

20

/bin/mv -f test_new test_old

 

21

/bin/rm -f test_new

 

22

cat abptest_out buggytest_out > test_new

 

23

/bin/rm -f abptest_out buggytest_out

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