oeiuwq.com / godnet
A Golang runtime and compilation backend for Delta Interaction Nets.
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

move generated tests

oeiuwq.com e3dfcadc f09824d3

+1 -1
+1 -1
cmd/gentests/main.go
··· 98 98 {"100_mixed_1", "(x: x) ((y: y) a)", "a"}, 99 99 } 100 100 101 - baseDir := "cmd/gentests/tests" 101 + baseDir := "cmd/gentests/generated" 102 102 os.MkdirAll(baseDir, 0755) 103 103 104 104 for _, tc := range tests {
cmd/gentests/tests/001_id/input.nix cmd/gentests/generated/001_id/input.nix
cmd/gentests/tests/001_id/output.nix cmd/gentests/generated/001_id/output.nix
cmd/gentests/tests/001_id/reduction_test.go cmd/gentests/generated/001_id/reduction_test.go
cmd/gentests/tests/002_id_id/input.nix cmd/gentests/generated/002_id_id/input.nix
cmd/gentests/tests/002_id_id/output.nix cmd/gentests/generated/002_id_id/output.nix
cmd/gentests/tests/002_id_id/reduction_test.go cmd/gentests/generated/002_id_id/reduction_test.go
cmd/gentests/tests/003_k_1/input.nix cmd/gentests/generated/003_k_1/input.nix
cmd/gentests/tests/003_k_1/output.nix cmd/gentests/generated/003_k_1/output.nix
cmd/gentests/tests/003_k_1/reduction_test.go cmd/gentests/generated/003_k_1/reduction_test.go
cmd/gentests/tests/004_k_2/input.nix cmd/gentests/generated/004_k_2/input.nix
cmd/gentests/tests/004_k_2/output.nix cmd/gentests/generated/004_k_2/output.nix
cmd/gentests/tests/004_k_2/reduction_test.go cmd/gentests/generated/004_k_2/reduction_test.go
cmd/gentests/tests/005_erase_complex/input.nix cmd/gentests/generated/005_erase_complex/input.nix
cmd/gentests/tests/005_erase_complex/output.nix cmd/gentests/generated/005_erase_complex/output.nix
cmd/gentests/tests/005_erase_complex/reduction_test.go cmd/gentests/generated/005_erase_complex/reduction_test.go
cmd/gentests/tests/006_s_1/input.nix cmd/gentests/generated/006_s_1/input.nix
cmd/gentests/tests/006_s_1/output.nix cmd/gentests/generated/006_s_1/output.nix
cmd/gentests/tests/006_s_1/reduction_test.go cmd/gentests/generated/006_s_1/reduction_test.go
cmd/gentests/tests/007_s_2/input.nix cmd/gentests/generated/007_s_2/input.nix
cmd/gentests/tests/007_s_2/output.nix cmd/gentests/generated/007_s_2/output.nix
cmd/gentests/tests/007_s_2/reduction_test.go cmd/gentests/generated/007_s_2/reduction_test.go
cmd/gentests/tests/010_zero/input.nix cmd/gentests/generated/010_zero/input.nix
cmd/gentests/tests/010_zero/output.nix cmd/gentests/generated/010_zero/output.nix
cmd/gentests/tests/010_zero/reduction_test.go cmd/gentests/generated/010_zero/reduction_test.go
cmd/gentests/tests/011_one/input.nix cmd/gentests/generated/011_one/input.nix
cmd/gentests/tests/011_one/output.nix cmd/gentests/generated/011_one/output.nix
cmd/gentests/tests/011_one/reduction_test.go cmd/gentests/generated/011_one/reduction_test.go
cmd/gentests/tests/012_two/input.nix cmd/gentests/generated/012_two/input.nix
cmd/gentests/tests/012_two/output.nix cmd/gentests/generated/012_two/output.nix
cmd/gentests/tests/012_two/reduction_test.go cmd/gentests/generated/012_two/reduction_test.go
cmd/gentests/tests/013_succ_0/input.nix cmd/gentests/generated/013_succ_0/input.nix
cmd/gentests/tests/013_succ_0/output.nix cmd/gentests/generated/013_succ_0/output.nix
cmd/gentests/tests/013_succ_0/reduction_test.go cmd/gentests/generated/013_succ_0/reduction_test.go
cmd/gentests/tests/020_true/input.nix cmd/gentests/generated/020_true/input.nix
cmd/gentests/tests/020_true/output.nix cmd/gentests/generated/020_true/output.nix
cmd/gentests/tests/020_true/reduction_test.go cmd/gentests/generated/020_true/reduction_test.go
cmd/gentests/tests/021_false/input.nix cmd/gentests/generated/021_false/input.nix
cmd/gentests/tests/021_false/output.nix cmd/gentests/generated/021_false/output.nix
cmd/gentests/tests/021_false/reduction_test.go cmd/gentests/generated/021_false/reduction_test.go
cmd/gentests/tests/022_not_true/input.nix cmd/gentests/generated/022_not_true/input.nix
cmd/gentests/tests/022_not_true/output.nix cmd/gentests/generated/022_not_true/output.nix
cmd/gentests/tests/022_not_true/reduction_test.go cmd/gentests/generated/022_not_true/reduction_test.go
cmd/gentests/tests/023_not_false/input.nix cmd/gentests/generated/023_not_false/input.nix
cmd/gentests/tests/023_not_false/output.nix cmd/gentests/generated/023_not_false/output.nix
cmd/gentests/tests/023_not_false/reduction_test.go cmd/gentests/generated/023_not_false/reduction_test.go
cmd/gentests/tests/024_and_true_true/input.nix cmd/gentests/generated/024_and_true_true/input.nix
cmd/gentests/tests/024_and_true_true/output.nix cmd/gentests/generated/024_and_true_true/output.nix
cmd/gentests/tests/024_and_true_true/reduction_test.go cmd/gentests/generated/024_and_true_true/reduction_test.go
cmd/gentests/tests/025_and_true_false/input.nix cmd/gentests/generated/025_and_true_false/input.nix
cmd/gentests/tests/025_and_true_false/output.nix cmd/gentests/generated/025_and_true_false/output.nix
cmd/gentests/tests/025_and_true_false/reduction_test.go cmd/gentests/generated/025_and_true_false/reduction_test.go
cmd/gentests/tests/030_pair_fst/input.nix cmd/gentests/generated/030_pair_fst/input.nix
cmd/gentests/tests/030_pair_fst/output.nix cmd/gentests/generated/030_pair_fst/output.nix
cmd/gentests/tests/030_pair_fst/reduction_test.go cmd/gentests/generated/030_pair_fst/reduction_test.go
cmd/gentests/tests/031_pair_snd/input.nix cmd/gentests/generated/031_pair_snd/input.nix
cmd/gentests/tests/031_pair_snd/output.nix cmd/gentests/generated/031_pair_snd/output.nix
cmd/gentests/tests/031_pair_snd/reduction_test.go cmd/gentests/generated/031_pair_snd/reduction_test.go
cmd/gentests/tests/040_let_simple/input.nix cmd/gentests/generated/040_let_simple/input.nix
cmd/gentests/tests/040_let_simple/output.nix cmd/gentests/generated/040_let_simple/output.nix
cmd/gentests/tests/040_let_simple/reduction_test.go cmd/gentests/generated/040_let_simple/reduction_test.go
cmd/gentests/tests/041_let_id/input.nix cmd/gentests/generated/041_let_id/input.nix
cmd/gentests/tests/041_let_id/output.nix cmd/gentests/generated/041_let_id/output.nix
cmd/gentests/tests/041_let_id/reduction_test.go cmd/gentests/generated/041_let_id/reduction_test.go
cmd/gentests/tests/051_share_app/input.nix cmd/gentests/generated/051_share_app/input.nix
cmd/gentests/tests/051_share_app/output.nix cmd/gentests/generated/051_share_app/output.nix
cmd/gentests/tests/051_share_app/reduction_test.go cmd/gentests/generated/051_share_app/reduction_test.go
cmd/gentests/tests/070_share_complex/input.nix cmd/gentests/generated/070_share_complex/input.nix
cmd/gentests/tests/070_share_complex/output.nix cmd/gentests/generated/070_share_complex/output.nix
cmd/gentests/tests/070_share_complex/reduction_test.go cmd/gentests/generated/070_share_complex/reduction_test.go
cmd/gentests/tests/071_erase_shared/input.nix cmd/gentests/generated/071_erase_shared/input.nix
cmd/gentests/tests/071_erase_shared/output.nix cmd/gentests/generated/071_erase_shared/output.nix
cmd/gentests/tests/071_erase_shared/reduction_test.go cmd/gentests/generated/071_erase_shared/reduction_test.go
cmd/gentests/tests/081_nested_app/input.nix cmd/gentests/generated/081_nested_app/input.nix
cmd/gentests/tests/081_nested_app/output.nix cmd/gentests/generated/081_nested_app/output.nix
cmd/gentests/tests/081_nested_app/reduction_test.go cmd/gentests/generated/081_nested_app/reduction_test.go
cmd/gentests/tests/090_free_1/input.nix cmd/gentests/generated/090_free_1/input.nix
cmd/gentests/tests/090_free_1/output.nix cmd/gentests/generated/090_free_1/output.nix
cmd/gentests/tests/090_free_1/reduction_test.go cmd/gentests/generated/090_free_1/reduction_test.go
cmd/gentests/tests/091_free_app/input.nix cmd/gentests/generated/091_free_app/input.nix
cmd/gentests/tests/091_free_app/output.nix cmd/gentests/generated/091_free_app/output.nix
cmd/gentests/tests/091_free_app/reduction_test.go cmd/gentests/generated/091_free_app/reduction_test.go
cmd/gentests/tests/100_mixed_1/input.nix cmd/gentests/generated/100_mixed_1/input.nix
cmd/gentests/tests/100_mixed_1/output.nix cmd/gentests/generated/100_mixed_1/output.nix
cmd/gentests/tests/100_mixed_1/reduction_test.go cmd/gentests/generated/100_mixed_1/reduction_test.go