From fac3f7ebeff93f427b768a55585b434ac74072ad Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Fri, 14 Sep 2012 10:13:16 +1000 Subject: Test article files for specific commands --- Test/absterm.art | 13 +++++++++++++ Test/absthm.art | 14 ++++++++++++++ Test/appterm.art | 25 +++++++++++++++++++++++++ Test/assume.art | 8 ++++++++ Test/axiom.art | 9 +++++++++ Test/cons.art | 4 ++++ Test/const.art | 2 ++ Test/constterm.art | 7 +++++++ Test/def.art | 6 ++++++ Test/name.art | 1 + Test/name2.art | 1 + Test/nil.art | 1 + Test/number.art | 1 + Test/opType.art | 4 ++++ Test/pop.art | 2 ++ Test/ref.art | 8 ++++++++ Test/refl.art | 6 ++++++ Test/remove.art | 8 ++++++++ Test/timer.sh | 6 ++++++ Test/typeop.art | 2 ++ Test/var.art | 4 ++++ Test/varterm.art | 5 +++++ Test/vartype.art | 2 ++ 23 files changed, 139 insertions(+) create mode 100644 Test/absterm.art create mode 100644 Test/absthm.art create mode 100644 Test/appterm.art create mode 100644 Test/assume.art create mode 100644 Test/axiom.art create mode 100644 Test/cons.art create mode 100644 Test/const.art create mode 100644 Test/constterm.art create mode 100644 Test/def.art create mode 100644 Test/name.art create mode 100644 Test/name2.art create mode 100644 Test/nil.art create mode 100644 Test/number.art create mode 100644 Test/opType.art create mode 100644 Test/pop.art create mode 100644 Test/ref.art create mode 100644 Test/refl.art create mode 100644 Test/remove.art create mode 100644 Test/timer.sh create mode 100644 Test/typeop.art create mode 100644 Test/var.art create mode 100644 Test/varterm.art create mode 100644 Test/vartype.art diff --git a/Test/absterm.art b/Test/absterm.art new file mode 100644 index 0000000..d68ddc6 --- /dev/null +++ b/Test/absterm.art @@ -0,0 +1,13 @@ +"bool" +"bool" +varType +var +varTerm +"bool" +const +"bool" +typeOp +nil +opType +constTerm +absTerm diff --git a/Test/absthm.art b/Test/absthm.art new file mode 100644 index 0000000..6fd12ba --- /dev/null +++ b/Test/absthm.art @@ -0,0 +1,14 @@ +"bool" +"bool" +var +varType +varTerm +"bool" +const +"bool" +typeOp +nil +opType +constTerm +refl +absThm diff --git a/Test/appterm.art b/Test/appterm.art new file mode 100644 index 0000000..42f0da9 --- /dev/null +++ b/Test/appterm.art @@ -0,0 +1,25 @@ +"name" +const +"->" +typeOp +"bool" +typeOp +nil +opType +1 +def +1 +remove +nil +cons +cons +opType +constTerm +"name" +const +"bool" +typeOp +nil +opType +constTerm +appTerm diff --git a/Test/assume.art b/Test/assume.art new file mode 100644 index 0000000..ef47474 --- /dev/null +++ b/Test/assume.art @@ -0,0 +1,8 @@ +"bool" +const +"bool" +typeOp +nil +opType +constTerm +assume diff --git a/Test/axiom.art b/Test/axiom.art new file mode 100644 index 0000000..bcf79bf --- /dev/null +++ b/Test/axiom.art @@ -0,0 +1,9 @@ +nil +"name" +const +"bool" +typeOp +nil +opType +constTerm +axiom diff --git a/Test/cons.art b/Test/cons.art new file mode 100644 index 0000000..b2c48b9 --- /dev/null +++ b/Test/cons.art @@ -0,0 +1,4 @@ +"bool" +typeOp +nil +cons diff --git a/Test/const.art b/Test/const.art new file mode 100644 index 0000000..8a94755 --- /dev/null +++ b/Test/const.art @@ -0,0 +1,2 @@ +"name" +const diff --git a/Test/constterm.art b/Test/constterm.art new file mode 100644 index 0000000..ac94e2b --- /dev/null +++ b/Test/constterm.art @@ -0,0 +1,7 @@ +"bool" +const +"bool" +typeOp +nil +opType +constTerm diff --git a/Test/def.art b/Test/def.art new file mode 100644 index 0000000..18cad67 --- /dev/null +++ b/Test/def.art @@ -0,0 +1,6 @@ +"bool" +typeOp +nil +opType +1 +def diff --git a/Test/name.art b/Test/name.art new file mode 100644 index 0000000..7cc35dd --- /dev/null +++ b/Test/name.art @@ -0,0 +1 @@ +"name" diff --git a/Test/name2.art b/Test/name2.art new file mode 100644 index 0000000..a439e52 --- /dev/null +++ b/Test/name2.art @@ -0,0 +1 @@ +"->" diff --git a/Test/nil.art b/Test/nil.art new file mode 100644 index 0000000..607602c --- /dev/null +++ b/Test/nil.art @@ -0,0 +1 @@ +nil diff --git a/Test/number.art b/Test/number.art new file mode 100644 index 0000000..f599e28 --- /dev/null +++ b/Test/number.art @@ -0,0 +1 @@ +10 diff --git a/Test/opType.art b/Test/opType.art new file mode 100644 index 0000000..237dbd6 --- /dev/null +++ b/Test/opType.art @@ -0,0 +1,4 @@ +"name" +typeOp +nil +opType diff --git a/Test/pop.art b/Test/pop.art new file mode 100644 index 0000000..e111fc2 --- /dev/null +++ b/Test/pop.art @@ -0,0 +1,2 @@ +nil +pop diff --git a/Test/ref.art b/Test/ref.art new file mode 100644 index 0000000..acd59ea --- /dev/null +++ b/Test/ref.art @@ -0,0 +1,8 @@ +"bool" +typeOp +nil +opType +1 +def +1 +ref diff --git a/Test/refl.art b/Test/refl.art new file mode 100644 index 0000000..418ac89 --- /dev/null +++ b/Test/refl.art @@ -0,0 +1,6 @@ +"bool" +"bool" +varType +var +varTerm +refl diff --git a/Test/remove.art b/Test/remove.art new file mode 100644 index 0000000..88cadad --- /dev/null +++ b/Test/remove.art @@ -0,0 +1,8 @@ +"bool" +typeOp +nil +opType +1 +def +1 +remove diff --git a/Test/timer.sh b/Test/timer.sh new file mode 100644 index 0000000..637b80a --- /dev/null +++ b/Test/timer.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +for i in (1..1000) +do + $1 $2 +done diff --git a/Test/typeop.art b/Test/typeop.art new file mode 100644 index 0000000..6b85dd7 --- /dev/null +++ b/Test/typeop.art @@ -0,0 +1,2 @@ +"bool" +typeOp diff --git a/Test/var.art b/Test/var.art new file mode 100644 index 0000000..4c915e7 --- /dev/null +++ b/Test/var.art @@ -0,0 +1,4 @@ +"bool" +"bool" +varType +var diff --git a/Test/varterm.art b/Test/varterm.art new file mode 100644 index 0000000..5bbc768 --- /dev/null +++ b/Test/varterm.art @@ -0,0 +1,5 @@ +"bool" +"bool" +varType +var +varTerm diff --git a/Test/vartype.art b/Test/vartype.art new file mode 100644 index 0000000..72e6b3c --- /dev/null +++ b/Test/vartype.art @@ -0,0 +1,2 @@ +"bool" +varType -- cgit