oeiuwq.com
A Golang runtime and compilation backend for Delta Interaction Nets.
test non-optimal
+17
+1
cmd/gentests/tests/101_no_optimal/input.nix
+1
cmd/gentests/tests/101_no_optimal/input.nix
···
1
+
((g: (g (g (x: x)))) (h: ((f: (f (f (z: z)))) (w: (h (w (y: y)))))))
+1
cmd/gentests/tests/101_no_optimal/output.nix
+1
cmd/gentests/tests/101_no_optimal/output.nix
···
1
+
x
+15
cmd/gentests/tests/101_no_optimal/reduction_test.go
+15
cmd/gentests/tests/101_no_optimal/reduction_test.go
···
1
+
package gentests
2
+
3
+
import _ "embed"
4
+
import "testing"
5
+
import "github.com/vic/godnet/cmd/gentests/helper"
6
+
7
+
//go:embed input.nix
8
+
var input string
9
+
10
+
//go:embed output.nix
11
+
var output string
12
+
13
+
func Test_101_no_optimal_Reduction(t *testing.T) {
14
+
gentests.CheckLambdaReduction(t, "101_no_optimal", input, output)
15
+
}