File: test_codewriter

package info (click to toggle)
pxp 1.1.4-1
  • links: PTS
  • area: main
  • in suites: woody
  • size: 6,944 kB
  • ctags: 1,728
  • sloc: ml: 15,005; xml: 2,583; sh: 972; makefile: 677
file content (18 lines) | stat: -rwxr-xr-x 507 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
#! /bin/sh

set -e

sample="$1"
echo "Testing $sample:"
./compile -in "$sample" -out "sample.ml" -print -super-root -pis -comments >"out1"
echo "- code written to sample.ml, formatted data to out1"
OCAMLPATH=../../src ocamlfind ocamlc -package pxp -linkpkg -custom sample.ml -o sample
echo "- sample.ml compiled to sample"
./sample >out2
echo "- re-read data written to out2"
if cmp out1 out2; then
    echo "- out1 and out2 are identical! OK"
else
    echo "- out1 and out2 differ! FAILURE!"
    exit 1
fi