Skip to content

Commit

Permalink
refactor(ocaml): refactoring ocaml lambda
Browse files Browse the repository at this point in the history
  • Loading branch information
@henrylee97
henrylee97 committed Nov 9, 2023
1 parent 7ae3b3f commit c13eeb6
Show file tree
Hide file tree
Showing 500 changed files with 5,465 additions and 0 deletions.
2 changes: 2 additions & 0 deletions OCaml/lambda-1/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/lambda-1/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/lambda/bugs/bug_1/bug.ml → OCaml/lambda-1/buggy/src.ml
View file
File renamed without changes.
0 functional/OCaml/lambda/src/testcases → OCaml/lambda-1/buggy/testcases
View file
File renamed without changes.
12 changes: 12 additions & 0 deletions OCaml/lambda-1/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "lambda-1",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/lambda-10/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/lambda-10/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/lambda/bugs/bug_10/bug.ml → OCaml/lambda-10/buggy/bug.ml
View file
File renamed without changes.
35 changes: 35 additions & 0 deletions OCaml/lambda-10/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
{
V ("X") => false;
(C (P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))), V "z")) => false;
(C (V "h", C (C (V "f", V "f"), V "y"))) => false;
(P ("y", P ("g", C (V "f", V "f")))) => false;
(C (C (V "b", P ("c", V "c")), P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(C (V "h", V "y")) => false;
(P ("g", P ("x", V "y"))) => false;
(C (P ("y", P ("c", C (C (V "f", V "f"), V "c"))), C (C (V "f", V "f"), V "y"))) => false;
(C (P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))), P ("b", C (V "f", V "f")))) => false;
(C (C (C (V "z", P ("x", V "y")), P ("y", P ("c", C (C (V "f", V "f"), V "c")))), C (V "x", V "h"))) => false;
(P ("h", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(P ("c", V "c")) => true;
(P ("h", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("h", P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("g", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("x", P ("c", V "c"))) => true;
(P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => true;
(P ("h", C (P ("x", P ("c", V "c")), V "h"))) => true;
(P ("a", P ("b", C(V "a", V "b")))) => true;
C ((P (("x", V ("x"))), P (("x", V ("x"))))) => true;
C ((P (("x", V ("x"))), V ("x"))) => false;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_0"))))))) => false;
P (("x_1", P (("x_0", C ((V ("x_1"), V ("x_1"))))))) => true;
P (("x_0", P (("x_1", P (("x_2", C ((V ("x_0"), V ("x_1"))))))))) => true;
P (("x", P (("x", P (("x", V ("x"))))))) => true;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_1"))))))) => false;
P (("x_0", C ((P (("x_1", V ("x_1"))), V ("x_1"))))) => false;
P (("x_0", C ((V ("x_0"), V ("x_1"))))) => false;
P (("x_1", C ((P (("x_0", C ((V ("x_0"), V ("x_1"))))), V ("x_1"))))) => true;
C ((P (("x", V ("x"))), C ((V ("x"), P (("x", V ("x"))))))) => false;
C ((C ((V ("x"), P (("x", V ("x"))))), P (("x", V ("x"))))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/lambda-10/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "lambda-10",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/lambda-100/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/lambda-100/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/lambda/bugs/bug_100/bug.ml → OCaml/lambda-100/buggy/bug.ml
View file
File renamed without changes.
35 changes: 35 additions & 0 deletions OCaml/lambda-100/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
{
V ("X") => false;
(C (P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))), V "z")) => false;
(C (V "h", C (C (V "f", V "f"), V "y"))) => false;
(P ("y", P ("g", C (V "f", V "f")))) => false;
(C (C (V "b", P ("c", V "c")), P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(C (V "h", V "y")) => false;
(P ("g", P ("x", V "y"))) => false;
(C (P ("y", P ("c", C (C (V "f", V "f"), V "c"))), C (C (V "f", V "f"), V "y"))) => false;
(C (P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))), P ("b", C (V "f", V "f")))) => false;
(C (C (C (V "z", P ("x", V "y")), P ("y", P ("c", C (C (V "f", V "f"), V "c")))), C (V "x", V "h"))) => false;
(P ("h", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(P ("c", V "c")) => true;
(P ("h", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("h", P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("g", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("x", P ("c", V "c"))) => true;
(P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => true;
(P ("h", C (P ("x", P ("c", V "c")), V "h"))) => true;
(P ("a", P ("b", C(V "a", V "b")))) => true;
C ((P (("x", V ("x"))), P (("x", V ("x"))))) => true;
C ((P (("x", V ("x"))), V ("x"))) => false;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_0"))))))) => false;
P (("x_1", P (("x_0", C ((V ("x_1"), V ("x_1"))))))) => true;
P (("x_0", P (("x_1", P (("x_2", C ((V ("x_0"), V ("x_1"))))))))) => true;
P (("x", P (("x", P (("x", V ("x"))))))) => true;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_1"))))))) => false;
P (("x_0", C ((P (("x_1", V ("x_1"))), V ("x_1"))))) => false;
P (("x_0", C ((V ("x_0"), V ("x_1"))))) => false;
P (("x_1", C ((P (("x_0", C ((V ("x_0"), V ("x_1"))))), V ("x_1"))))) => true;
C ((P (("x", V ("x"))), C ((V ("x"), P (("x", V ("x"))))))) => false;
C ((C ((V ("x"), P (("x", V ("x"))))), P (("x", V ("x"))))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/lambda-100/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "lambda-100",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/lambda-11/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/lambda-11/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/lambda/bugs/bug_11/bug.ml → OCaml/lambda-11/buggy/bug.ml
View file
File renamed without changes.
35 changes: 35 additions & 0 deletions OCaml/lambda-11/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
{
V ("X") => false;
(C (P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))), V "z")) => false;
(C (V "h", C (C (V "f", V "f"), V "y"))) => false;
(P ("y", P ("g", C (V "f", V "f")))) => false;
(C (C (V "b", P ("c", V "c")), P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(C (V "h", V "y")) => false;
(P ("g", P ("x", V "y"))) => false;
(C (P ("y", P ("c", C (C (V "f", V "f"), V "c"))), C (C (V "f", V "f"), V "y"))) => false;
(C (P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))), P ("b", C (V "f", V "f")))) => false;
(C (C (C (V "z", P ("x", V "y")), P ("y", P ("c", C (C (V "f", V "f"), V "c")))), C (V "x", V "h"))) => false;
(P ("h", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(P ("c", V "c")) => true;
(P ("h", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("h", P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("g", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("x", P ("c", V "c"))) => true;
(P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => true;
(P ("h", C (P ("x", P ("c", V "c")), V "h"))) => true;
(P ("a", P ("b", C(V "a", V "b")))) => true;
C ((P (("x", V ("x"))), P (("x", V ("x"))))) => true;
C ((P (("x", V ("x"))), V ("x"))) => false;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_0"))))))) => false;
P (("x_1", P (("x_0", C ((V ("x_1"), V ("x_1"))))))) => true;
P (("x_0", P (("x_1", P (("x_2", C ((V ("x_0"), V ("x_1"))))))))) => true;
P (("x", P (("x", P (("x", V ("x"))))))) => true;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_1"))))))) => false;
P (("x_0", C ((P (("x_1", V ("x_1"))), V ("x_1"))))) => false;
P (("x_0", C ((V ("x_0"), V ("x_1"))))) => false;
P (("x_1", C ((P (("x_0", C ((V ("x_0"), V ("x_1"))))), V ("x_1"))))) => true;
C ((P (("x", V ("x"))), C ((V ("x"), P (("x", V ("x"))))))) => false;
C ((C ((V ("x"), P (("x", V ("x"))))), P (("x", V ("x"))))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/lambda-11/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "lambda-11",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/lambda-12/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/lambda-12/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/lambda/bugs/bug_12/bug.ml → OCaml/lambda-12/buggy/bug.ml
View file
File renamed without changes.
35 changes: 35 additions & 0 deletions OCaml/lambda-12/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
{
V ("X") => false;
(C (P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))), V "z")) => false;
(C (V "h", C (C (V "f", V "f"), V "y"))) => false;
(P ("y", P ("g", C (V "f", V "f")))) => false;
(C (C (V "b", P ("c", V "c")), P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(C (V "h", V "y")) => false;
(P ("g", P ("x", V "y"))) => false;
(C (P ("y", P ("c", C (C (V "f", V "f"), V "c"))), C (C (V "f", V "f"), V "y"))) => false;
(C (P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))), P ("b", C (V "f", V "f")))) => false;
(C (C (C (V "z", P ("x", V "y")), P ("y", P ("c", C (C (V "f", V "f"), V "c")))), C (V "x", V "h"))) => false;
(P ("h", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(P ("c", V "c")) => true;
(P ("h", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("h", P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("g", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("x", P ("c", V "c"))) => true;
(P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => true;
(P ("h", C (P ("x", P ("c", V "c")), V "h"))) => true;
(P ("a", P ("b", C(V "a", V "b")))) => true;
C ((P (("x", V ("x"))), P (("x", V ("x"))))) => true;
C ((P (("x", V ("x"))), V ("x"))) => false;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_0"))))))) => false;
P (("x_1", P (("x_0", C ((V ("x_1"), V ("x_1"))))))) => true;
P (("x_0", P (("x_1", P (("x_2", C ((V ("x_0"), V ("x_1"))))))))) => true;
P (("x", P (("x", P (("x", V ("x"))))))) => true;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_1"))))))) => false;
P (("x_0", C ((P (("x_1", V ("x_1"))), V ("x_1"))))) => false;
P (("x_0", C ((V ("x_0"), V ("x_1"))))) => false;
P (("x_1", C ((P (("x_0", C ((V ("x_0"), V ("x_1"))))), V ("x_1"))))) => true;
C ((P (("x", V ("x"))), C ((V ("x"), P (("x", V ("x"))))))) => false;
C ((C ((V ("x"), P (("x", V ("x"))))), P (("x", V ("x"))))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/lambda-12/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "lambda-12",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/lambda-13/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/lambda-13/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/lambda/bugs/bug_13/bug.ml → OCaml/lambda-13/buggy/bug.ml
View file
File renamed without changes.
35 changes: 35 additions & 0 deletions OCaml/lambda-13/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
{
V ("X") => false;
(C (P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))), V "z")) => false;
(C (V "h", C (C (V "f", V "f"), V "y"))) => false;
(P ("y", P ("g", C (V "f", V "f")))) => false;
(C (C (V "b", P ("c", V "c")), P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(C (V "h", V "y")) => false;
(P ("g", P ("x", V "y"))) => false;
(C (P ("y", P ("c", C (C (V "f", V "f"), V "c"))), C (C (V "f", V "f"), V "y"))) => false;
(C (P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))), P ("b", C (V "f", V "f")))) => false;
(C (C (C (V "z", P ("x", V "y")), P ("y", P ("c", C (C (V "f", V "f"), V "c")))), C (V "x", V "h"))) => false;
(P ("h", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(P ("c", V "c")) => true;
(P ("h", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("h", P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("g", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("x", P ("c", V "c"))) => true;
(P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => true;
(P ("h", C (P ("x", P ("c", V "c")), V "h"))) => true;
(P ("a", P ("b", C(V "a", V "b")))) => true;
C ((P (("x", V ("x"))), P (("x", V ("x"))))) => true;
C ((P (("x", V ("x"))), V ("x"))) => false;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_0"))))))) => false;
P (("x_1", P (("x_0", C ((V ("x_1"), V ("x_1"))))))) => true;
P (("x_0", P (("x_1", P (("x_2", C ((V ("x_0"), V ("x_1"))))))))) => true;
P (("x", P (("x", P (("x", V ("x"))))))) => true;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_1"))))))) => false;
P (("x_0", C ((P (("x_1", V ("x_1"))), V ("x_1"))))) => false;
P (("x_0", C ((V ("x_0"), V ("x_1"))))) => false;
P (("x_1", C ((P (("x_0", C ((V ("x_0"), V ("x_1"))))), V ("x_1"))))) => true;
C ((P (("x", V ("x"))), C ((V ("x"), P (("x", V ("x"))))))) => false;
C ((C ((V ("x"), P (("x", V ("x"))))), P (("x", V ("x"))))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/lambda-13/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "lambda-13",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/lambda-14/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/lambda-14/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/lambda/bugs/bug_14/bug.ml → OCaml/lambda-14/buggy/bug.ml
View file
File renamed without changes.
35 changes: 35 additions & 0 deletions OCaml/lambda-14/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
{
V ("X") => false;
(C (P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))), V "z")) => false;
(C (V "h", C (C (V "f", V "f"), V "y"))) => false;
(P ("y", P ("g", C (V "f", V "f")))) => false;
(C (C (V "b", P ("c", V "c")), P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(C (V "h", V "y")) => false;
(P ("g", P ("x", V "y"))) => false;
(C (P ("y", P ("c", C (C (V "f", V "f"), V "c"))), C (C (V "f", V "f"), V "y"))) => false;
(C (P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))), P ("b", C (V "f", V "f")))) => false;
(C (C (C (V "z", P ("x", V "y")), P ("y", P ("c", C (C (V "f", V "f"), V "c")))), C (V "x", V "h"))) => false;
(P ("h", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => false;
(P ("c", V "c")) => true;
(P ("h", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("h", P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("g", P ("h", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))))) => true;
(P ("x", P ("c", V "c"))) => true;
(P ("b", P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c")))))) => true;
(P ("f", P ("y", P ("c", C (C (V "f", V "f"), V "c"))))) => true;
(P ("h", C (P ("x", P ("c", V "c")), V "h"))) => true;
(P ("a", P ("b", C(V "a", V "b")))) => true;
C ((P (("x", V ("x"))), P (("x", V ("x"))))) => true;
C ((P (("x", V ("x"))), V ("x"))) => false;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_0"))))))) => false;
P (("x_1", P (("x_0", C ((V ("x_1"), V ("x_1"))))))) => true;
P (("x_0", P (("x_1", P (("x_2", C ((V ("x_0"), V ("x_1"))))))))) => true;
P (("x", P (("x", P (("x", V ("x"))))))) => true;
P (("x_0", C ((V ("x_1"), P (("x_1", V ("x_1"))))))) => false;
P (("x_0", C ((P (("x_1", V ("x_1"))), V ("x_1"))))) => false;
P (("x_0", C ((V ("x_0"), V ("x_1"))))) => false;
P (("x_1", C ((P (("x_0", C ((V ("x_0"), V ("x_1"))))), V ("x_1"))))) => true;
C ((P (("x", V ("x"))), C ((V ("x"), P (("x", V ("x"))))))) => false;
C ((C ((V ("x"), P (("x", V ("x"))))), P (("x", V ("x"))))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/lambda-14/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "lambda-14",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/lambda-15/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/lambda-15/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/lambda/bugs/bug_15/bug.ml → OCaml/lambda-15/buggy/bug.ml
View file
File renamed without changes.
Loading

0 comments on commit c13eeb6

Please sign in to comment.