funcons-simple 0.1.0.5 → 0.1.0.7

raw patch · 5 files changed

+91/−2 lines, 5 files

Files

• funcons-simple.cabal +6/−2
• tests/run-K-tests-exceptions.sh +21/−0
• tests/run-K-tests-refocused.sh +20/−0
• tests/run-K-tests.sh +20/−0
• tests/run-tests.sh +24/−0

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                funcons-simple-version:             0.1.0.5+version:             0.1.0.7 synopsis:            A modular interpreter for executing SIMPLE funcons  description:              The PLanCompS (<http://plancomps.org>) project has developed a component-based approach to formal semantics.@@ -36,12 +36,16 @@                       tests/SIMPLE.config                       tests/SIMPLE-interactive.config                       tests/README.txt+                      tests/run-tests.sh+                      tests/run-K-tests-exceptions.sh+                      tests/run-K-tests.sh+                      tests/run-K-tests-refocused.sh cabal-version:       >=1.10  executable runfct-SIMPLE    main-is:             Main.hs   other-modules:       Funcons.SIMPLE.SIMPLE4Declarations.SIMPLE4Declarations, Funcons.SIMPLE.Library    -- other-extensions:    -  build-depends:       base >=4.8 && <=5, funcons-tools >= 0.2.0.7, funcons-values >= 0.1.0.5+  build-depends:       base >=4.8 && <=5, funcons-tools >= 0.2.0.8, funcons-values >= 0.1.0.6   hs-source-dirs:      src   default-language:    Haskell2010

@@ -0,0 +1,21 @@+#!/bin/bash+runfct=$1+refocus="--refocus $2"+function run-test-set {+  testName=$1+  testDir="$testName"+  fileext="smp"++  for i in $(seq -w $2 $3)+  do++    echo -e "$testName Test $i:"+    echo "=== Program ===" > ${testDir}/${testName}$i.output+    cat ${testDir}/${testName}$i.$fileext >> ${testDir}/${testName}$i.output+    echo "=== Output ===" >> ${testDir}/${testName}$i.output+    ${runfct} ${testDir}/${testName}$i.fct $refocus >> ${testDir}/${testName}$i.output++  done+}++run-test-set "Kexceptions" 1 15

@@ -0,0 +1,20 @@+#!/bin/bash+runfct="$1"+function run-test-set {+  testName=$1+  testDir="$testName"+  fileext="smp"++  for i in $(seq -w $2 $3)+  do++    echo -e "$testName Test $i:"+    echo "=== Program ===" > ${testDir}/${testName}$i.output+    cat ${testDir}/${testName}$i.$fileext >> ${testDir}/${testName}$i.output+    echo "=== Output ===" >> ${testDir}/${testName}$i.output+    time ${runfct} ${testDir}/${testName}$i.fct --refocus true >> ${testDir}/${testName}$i.output++  done+}++run-test-set "Kdiverse" 1 6

@@ -0,0 +1,20 @@+#!/bin/bash+runfct=$1+function run-test-set {+  testName=$1+  testDir="$testName"+  fileext="smp"++  for i in $(seq -w $2 $3)+  do++    echo -e "$testName Test $i:"+    echo "=== Program ===" > ${testDir}/${testName}$i.output+    cat ${testDir}/${testName}$i.$fileext >> ${testDir}/${testName}$i.output+    echo "=== Output ===" >> ${testDir}/${testName}$i.output+    time ${runfct} ${testDir}/${testName}$i.fct --refocus false >> ${testDir}/${testName}$i.output++  done+}++run-test-set "Kdiverse" 1 3

@@ -0,0 +1,24 @@+#!/bin/bash+runfct=$1+command_opts="--refocus $2"+function run-test-set {+  testName=$1+  testDir="$testName"+  fileext="smp"++  for i in $(seq -w $2 $3)+  do++    echo -e "$testName Test $i:"+    echo "=== Program ===" > ${testDir}/${testName}$i.output+    cat ${testDir}/${testName}$i.$fileext >> ${testDir}/${testName}$i.output+    echo "=== Output ===" >> ${testDir}/${testName}$i.output+    ${runfct} ${testDir}/${testName}$i.fct $command_opts >> ${testDir}/${testName}$i.output++  done+}++run-test-set "Basic" 1 26+run-test-set "Advanced" 1 5+run-test-set "Kexceptions" 1 15+run-test-set "Kdiverse" 1 6