[test] issue KCL-Planning#34

guicho271828 · Feb 22, 2019 · a86823a · a86823a
1 parent a3d89ee
commit a86823a
Show file tree

Hide file tree

Showing 23 changed files with 10,487 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -463,6 +463,7 @@ jdepend:
 test: all
 	issue-21/run.sh
 # issue-22/run.sh
+	issue-34/run.sh
 
 # DO NOT DELETE THIS LINE -- makemake depends on it.
 

diff --git a/issue-34/domain9980.pddl b/issue-34/domain9980.pddl
diff --git a/issue-34/domain9981.pddl b/issue-34/domain9981.pddl
diff --git a/issue-34/domain9982.pddl b/issue-34/domain9982.pddl
diff --git a/issue-34/domain9983.pddl b/issue-34/domain9983.pddl
diff --git a/issue-34/domain9984.pddl b/issue-34/domain9984.pddl
diff --git a/issue-34/domain9985.pddl b/issue-34/domain9985.pddl
diff --git a/issue-34/domain9986.pddl b/issue-34/domain9986.pddl
diff --git a/issue-34/domain9987.pddl b/issue-34/domain9987.pddl
diff --git a/issue-34/domain9988.pddl b/issue-34/domain9988.pddl
diff --git a/issue-34/domain9989.pddl b/issue-34/domain9989.pddl
diff --git a/issue-34/domain9990.pddl b/issue-34/domain9990.pddl
diff --git a/issue-34/domain9991.pddl b/issue-34/domain9991.pddl
diff --git a/issue-34/domain9992.pddl b/issue-34/domain9992.pddl
diff --git a/issue-34/domain9993.pddl b/issue-34/domain9993.pddl
diff --git a/issue-34/domain9994.pddl b/issue-34/domain9994.pddl
diff --git a/issue-34/domain9995.pddl b/issue-34/domain9995.pddl
diff --git a/issue-34/domain9996.pddl b/issue-34/domain9996.pddl
diff --git a/issue-34/domain9997.pddl b/issue-34/domain9997.pddl
diff --git a/issue-34/domain9998.pddl b/issue-34/domain9998.pddl
diff --git a/issue-34/domain9999.pddl b/issue-34/domain9999.pddl
diff --git a/issue-34/generator.ros b/issue-34/generator.ros
@@ -0,0 +1,33 @@
+#!/bin/sh
+#|-*- mode:lisp -*-|#
+#|
+exec ros -Q -- $0 "$@"
+|#
+(progn ;;init forms
+  (ros:ensure-asdf)
+  #+quicklisp(ql:quickload '(:alexandria :iterate) :silent t)
+  )
+
+(defpackage :ros.script.testcase.3759830013
+  (:use :cl :alexandria :iterate))
+(in-package :ros.script.testcase.3759830013)
+
+(defmethod print-object ((o (eql nil)) s)
+  (write-char #\( s)
+  (write-char #\) s))
+
+(iter (for i from 8000 to 10000)
+      (with-open-file (*standard-output* (format nil "domain~2,,,'0@a.pddl" i)
+                                         :direction :output
+                                         :if-exists :supersede
+                                         :if-does-not-exist :create)
+        (print `(define (domain latent)
+                  (:requirements :strips)
+                  (:predicates
+                   ,@(mapcar (compose #'list #'intern #'string #'gensym)
+                             (iota i)))
+                  (:action pickup :parameters ()
+                           :precondition (and (g0))
+                           :effect (and (g1)))))))
+
+;;; vim: set ft=lisp lisp:
diff --git a/issue-34/run.sh b/issue-34/run.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+dir=$(dirname $(readlink -ef $0))
+
+echo $dir/domain9980.pddl ; $dir/../validate -v $dir/domain9980.pddl || exit 1
+echo $dir/domain9981.pddl ; $dir/../validate -v $dir/domain9981.pddl || exit 1
+echo $dir/domain9982.pddl ; $dir/../validate -v $dir/domain9982.pddl || exit 1
+echo $dir/domain9983.pddl ; $dir/../validate -v $dir/domain9983.pddl || exit 1
+echo $dir/domain9984.pddl ; $dir/../validate -v $dir/domain9984.pddl || exit 1
+echo $dir/domain9985.pddl ; $dir/../validate -v $dir/domain9985.pddl || exit 1
+echo $dir/domain9986.pddl ; $dir/../validate -v $dir/domain9986.pddl || exit 1
+echo $dir/domain9987.pddl ; $dir/../validate -v $dir/domain9987.pddl || exit 1
+echo $dir/domain9988.pddl ; $dir/../validate -v $dir/domain9988.pddl || exit 1
+echo $dir/domain9989.pddl ; $dir/../validate -v $dir/domain9989.pddl || exit 1
+echo $dir/domain9990.pddl ; $dir/../validate -v $dir/domain9990.pddl || exit 1
+echo $dir/domain9991.pddl ; $dir/../validate -v $dir/domain9991.pddl || exit 1
+echo $dir/domain9992.pddl ; $dir/../validate -v $dir/domain9992.pddl || exit 1
+echo $dir/domain9993.pddl ; $dir/../validate -v $dir/domain9993.pddl || exit 1
+echo $dir/domain9994.pddl ; $dir/../validate -v $dir/domain9994.pddl || exit 1
+echo $dir/domain9995.pddl ; $dir/../validate -v $dir/domain9995.pddl || exit 1
+echo $dir/domain9996.pddl ; $dir/../validate -v $dir/domain9996.pddl || exit 1
+echo $dir/domain9997.pddl ; $dir/../validate -v $dir/domain9997.pddl || exit 1
+echo $dir/domain9998.pddl ; $dir/../validate -v $dir/domain9998.pddl || exit 1
+echo $dir/domain9999.pddl ; $dir/../validate -v $dir/domain9999.pddl || exit 1
+