diff options
Diffstat (limited to 'testsuite/compiler/check/abstract-operations/abstract-operations.gfs')
| -rw-r--r-- | testsuite/compiler/check/abstract-operations/abstract-operations.gfs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs new file mode 100644 index 000000000..da5cb71fe --- /dev/null +++ b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs @@ -0,0 +1,5 @@ +-- here we test that the abstract operations are not used for proof search + +i testsuite\compiler\check\abstract-operations\Nat.gf +gt -cat=Nat -number=10 -depth=10 +pt -compute (twice (succ zero)) |