COLM_BIN = ../../src/colm

RLHC_DEP = \
	rlhc-host.lm \
	rlhc-c.lm \
	rlhc-d.lm \
	rlhc-go.lm \
	rlhc-csharp.lm \
	rlhc-java.lm \
	rlhc-ruby.lm \
	rlhc-rust.lm \
	rlhc-ocaml.lm \
	rlhc-crack.lm \
	rlhc-julia.lm \
	rlhc-js.lm

EXTRA_DIST = gentests rlhc.lm $(RLHC_DEP) $(CASES)

check_PROGRAMS = rlhc

rlhc$(EXEEXT): rlhc.lm $(RLHC_DEP) $(COLM_BIN)
	$(COLM_BIN) -B '$(top_builddir)' -b rlhc_object -o $@ -I$(srcdir) $<

CASES = \
	case/atoi1_c.c-C-F1--goto-backend.exp \
	case/atoi1_c.c-C-F1--goto-backend.in \
	case/atoi1_crack.crk-K-T1--var-backend.exp \
	case/atoi1_crack.crk-K-T1--var-backend.in \
	case/atoi1_cs.cs-A-F0--goto-backend.exp \
	case/atoi1_cs.cs-A-F0--goto-backend.in \
	case/atoi1_cs.cs-A-F1--var-backend.exp \
	case/atoi1_cs.cs-A-F1--var-backend.in \
	case/atoi1_cs.cs-A-T1--var-backend.exp \
	case/atoi1_cs.cs-A-T1--var-backend.in \
	case/atoi1_go.go-Z-F1--var-backend.exp \
	case/atoi1_go.go-Z-F1--var-backend.in \
	case/atoi1_go.go-Z-G0--goto-backend.exp \
	case/atoi1_go.go-Z-G0--goto-backend.in \
	case/atoi1_go.go-Z-G2--goto-backend.exp \
	case/atoi1_go.go-Z-G2--goto-backend.in \
	case/atoi1_go.go-Z-T0--goto-backend.exp \
	case/atoi1_go.go-Z-T0--goto-backend.in \
	case/atoi1_java.java-J-F1--goto-backend.exp \
	case/atoi1_java.java-J-F1--goto-backend.in \
	case/atoi1_java.java-J-F1--var-backend.exp \
	case/atoi1_java.java-J-F1--var-backend.in \
	case/atoi1_julia.jl-Y-F0--var-backend.exp \
	case/atoi1_julia.jl-Y-F0--var-backend.in \
	case/atoi1_ocaml.ml-O-F0--var-backend.exp \
	case/atoi1_ocaml.ml-O-F0--var-backend.in \
	case/atoi1_ruby.rb-R-F0--var-backend.exp \
	case/atoi1_ruby.rb-R-F0--var-backend.in \
	case/atoi1_ruby.rb-R-T0--var-backend.exp \
	case/atoi1_ruby.rb-R-T0--var-backend.in \
	case/atoi1_rust.rs-U-F1--var-backend.exp \
	case/atoi1_rust.rs-U-F1--var-backend.in \
	case/atoi2_c.c-C-G2--goto-backend.exp \
	case/atoi2_c.c-C-G2--goto-backend.in \
	case/atoi2_c.c-C-T0--var-backend.exp \
	case/atoi2_c.c-C-T0--var-backend.in \
	case/atoi2_c.c-C-T1--goto-backend.exp \
	case/atoi2_c.c-C-T1--goto-backend.in \
	case/atoi2_crack.crk-K-F1--var-backend.exp \
	case/atoi2_crack.crk-K-F1--var-backend.in \
	case/atoi2_crack.crk-K-T1--var-backend.exp \
	case/atoi2_crack.crk-K-T1--var-backend.in \
	case/atoi2_cs.cs-A-F1--goto-backend.exp \
	case/atoi2_cs.cs-A-F1--goto-backend.in \
	case/atoi2_cs.cs-A-G1--goto-backend.exp \
	case/atoi2_cs.cs-A-G1--goto-backend.in \
	case/atoi2_cs.cs-A-T0--var-backend.exp \
	case/atoi2_cs.cs-A-T0--var-backend.in \
	case/atoi2_go.go-Z-F1--goto-backend.exp \
	case/atoi2_go.go-Z-F1--goto-backend.in \
	case/atoi2_go.go-Z-T0--var-backend.exp \
	case/atoi2_go.go-Z-T0--var-backend.in \
	case/atoi2_java.java-J-F0--goto-backend.exp \
	case/atoi2_java.java-J-F0--goto-backend.in \
	case/atoi2_ocaml.ml-O-T0--var-backend.exp \
	case/atoi2_ocaml.ml-O-T0--var-backend.in \
	case/atoi2_ruby.rb-R-F0--var-backend.exp \
	case/atoi2_ruby.rb-R-F0--var-backend.in \
	case/atoi2_ruby.rb-R-F1--var-backend.exp \
	case/atoi2_ruby.rb-R-F1--var-backend.in \
	case/atoi2_ruby.rb-R-T0--var-backend.exp \
	case/atoi2_ruby.rb-R-T0--var-backend.in \
	case/atoi2_rust.rs-U-F1--var-backend.exp \
	case/atoi2_rust.rs-U-F1--var-backend.in \
	case/atoi3.rb-R-F0--var-backend.exp \
	case/atoi3.rb-R-F0--var-backend.in \
	case/atoi3.rb-R-T0--var-backend.exp \
	case/atoi3.rb-R-T0--var-backend.in \
	case/atoi4.ml-O-T1--var-backend.exp \
	case/atoi4.ml-O-T1--var-backend.in \
	case/builtin.c-C-G0--goto-backend.exp \
	case/builtin.c-C-G0--goto-backend.in \
	case/builtin.c-C-G1--goto-backend.exp \
	case/builtin.c-C-G1--goto-backend.in \
	case/builtin.c-C-G2--goto-backend.exp \
	case/builtin.c-C-G2--goto-backend.in \
	case/builtin.c-C-T0--goto-backend.exp \
	case/builtin.c-C-T0--goto-backend.in \
	case/builtin.c-C-T1--goto-backend.exp \
	case/builtin.c-C-T1--goto-backend.in \
	case/call1.c-C-F0--goto-backend.exp \
	case/call1.c-C-F0--goto-backend.in \
	case/call2.cpp-C-G2--goto-backend.exp \
	case/call2.cpp-C-G2--goto-backend.in \
	case/call2.cpp-C-T0--goto-backend.exp \
	case/call2.cpp-C-T0--goto-backend.in \
	case/call3.m-C-F0--goto-backend.exp \
	case/call3.m-C-F0--goto-backend.in \
	case/call3.m-C-G2--goto-backend.exp \
	case/call3.m-C-G2--goto-backend.in \
	case/call4_c.c-C-G1--goto-backend.exp \
	case/call4_c.c-C-G1--goto-backend.in \
	case/call4_c.c-C-T0--goto-backend.exp \
	case/call4_c.c-C-T0--goto-backend.in \
	case/call4_c.c-C-T1--goto-backend.exp \
	case/call4_c.c-C-T1--goto-backend.in \
	case/call4_cs.cs-A-F0--goto-backend.exp \
	case/call4_cs.cs-A-F0--goto-backend.in \
	case/call4_cs.cs-A-G1--goto-backend.exp \
	case/call4_cs.cs-A-G1--goto-backend.in \
	case/call4_cs.cs-A-T1--goto-backend.exp \
	case/call4_cs.cs-A-T1--goto-backend.in \
	case/call4_go.go-Z-G1--goto-backend.exp \
	case/call4_go.go-Z-G1--goto-backend.in \
	case/call4_java.java-J-F1--goto-backend.exp \
	case/call4_java.java-J-F1--goto-backend.in \
	case/call4_java.java-J-T0--goto-backend.exp \
	case/call4_java.java-J-T0--goto-backend.in \
	case/caseindep_c.c-C-F0--goto-backend.exp \
	case/caseindep_c.c-C-F0--goto-backend.in \
	case/caseindep_c.c-C-G1--goto-backend.exp \
	case/caseindep_c.c-C-G1--goto-backend.in \
	case/caseindep_c.c-C-G2--goto-backend.exp \
	case/caseindep_c.c-C-G2--goto-backend.in \
	case/caseindep_c.c-C-T0--goto-backend.exp \
	case/caseindep_c.c-C-T0--goto-backend.in \
	case/caseindep_cs.cs-A-F1--goto-backend.exp \
	case/caseindep_cs.cs-A-F1--goto-backend.in \
	case/caseindep_cs.cs-A-F1--var-backend.exp \
	case/caseindep_cs.cs-A-F1--var-backend.in \
	case/caseindep_cs.cs-A-T0--goto-backend.exp \
	case/caseindep_cs.cs-A-T0--goto-backend.in \
	case/caseindep_cs.cs-A-T1--var-backend.exp \
	case/caseindep_cs.cs-A-T1--var-backend.in \
	case/caseindep_go.go-Z-F0--var-backend.exp \
	case/caseindep_go.go-Z-F0--var-backend.in \
	case/caseindep_go.go-Z-T0--goto-backend.exp \
	case/caseindep_go.go-Z-T0--goto-backend.in \
	case/caseindep_go.go-Z-T1--var-backend.exp \
	case/caseindep_go.go-Z-T1--var-backend.in \
	case/caseindep_java.java-J-F1--goto-backend.exp \
	case/caseindep_java.java-J-F1--goto-backend.in \
	case/caseindep_java.java-J-T0--goto-backend.exp \
	case/caseindep_java.java-J-T0--goto-backend.in \
	case/caseindep_java.java-J-T1--var-backend.exp \
	case/caseindep_java.java-J-T1--var-backend.in \
	case/caseindep_julia.jl-Y-T0--var-backend.exp \
	case/caseindep_julia.jl-Y-T0--var-backend.in \
	case/caseindep_ocaml.ml-O-F0--var-backend.exp \
	case/caseindep_ocaml.ml-O-F0--var-backend.in \
	case/caseindep_ocaml.ml-O-T0--var-backend.exp \
	case/caseindep_ocaml.ml-O-T0--var-backend.in \
	case/caseindep_ocaml.ml-O-T1--var-backend.exp \
	case/caseindep_ocaml.ml-O-T1--var-backend.in \
	case/caseindep_ruby.rb-R-T0--var-backend.exp \
	case/caseindep_ruby.rb-R-T0--var-backend.in \
	case/caseindep_rust.rs-U-T1--var-backend.exp \
	case/caseindep_rust.rs-U-T1--var-backend.in \
	case/clang1.c-C-F0--var-backend.exp \
	case/clang1.c-C-F0--var-backend.in \
	case/clang1.c-C-F1--var-backend.exp \
	case/clang1.c-C-F1--var-backend.in \
	case/clang1.c-C-G0--goto-backend.exp \
	case/clang1.c-C-G0--goto-backend.in \
	case/clang1.c-C-G2--goto-backend.exp \
	case/clang1.c-C-G2--goto-backend.in \
	case/clang1.c-C-T0--goto-backend.exp \
	case/clang1.c-C-T0--goto-backend.in \
	case/clang1.c-C-T1--var-backend.exp \
	case/clang1.c-C-T1--var-backend.in \
	case/clang2.m-C-F0--goto-backend.exp \
	case/clang2.m-C-F0--goto-backend.in \
	case/clang2.m-C-G0--goto-backend.exp \
	case/clang2.m-C-G0--goto-backend.in \
	case/clang2.m-C-T1--goto-backend.exp \
	case/clang2.m-C-T1--goto-backend.in \
	case/cond10.cpp-C-F0--var-backend.exp \
	case/cond10.cpp-C-F0--var-backend.in \
	case/cond10.cpp-C-G2--goto-backend.exp \
	case/cond10.cpp-C-G2--goto-backend.in \
	case/cond10.cpp-C-T0--goto-backend.exp \
	case/cond10.cpp-C-T0--goto-backend.in \
	case/cond10.cpp-C-T1--goto-backend.exp \
	case/cond10.cpp-C-T1--goto-backend.in \
	case/cond1_c.c-C-G1--goto-backend.exp \
	case/cond1_c.c-C-G1--goto-backend.in \
	case/cond1_c.c-C-G2--goto-backend.exp \
	case/cond1_c.c-C-G2--goto-backend.in \
	case/cond1_c.c-C-T1--goto-backend.exp \
	case/cond1_c.c-C-T1--goto-backend.in \
	case/cond1_cs.cs-A-F0--goto-backend.exp \
	case/cond1_cs.cs-A-F0--goto-backend.in \
	case/cond1_cs.cs-A-G0--goto-backend.exp \
	case/cond1_cs.cs-A-G0--goto-backend.in \
	case/cond1_cs.cs-A-T1--goto-backend.exp \
	case/cond1_cs.cs-A-T1--goto-backend.in \
	case/cond1_go.go-Z-F0--goto-backend.exp \
	case/cond1_go.go-Z-F0--goto-backend.in \
	case/cond1_go.go-Z-F1--goto-backend.exp \
	case/cond1_go.go-Z-F1--goto-backend.in \
	case/cond1_go.go-Z-G1--goto-backend.exp \
	case/cond1_go.go-Z-G1--goto-backend.in \
	case/cond1_go.go-Z-T1--var-backend.exp \
	case/cond1_go.go-Z-T1--var-backend.in \
	case/cond1_java.java-J-F0--goto-backend.exp \
	case/cond1_java.java-J-F0--goto-backend.in \
	case/cond1_java.java-J-T0--var-backend.exp \
	case/cond1_java.java-J-T0--var-backend.in \
	case/cond1_julia.jl-Y-F1--var-backend.exp \
	case/cond1_julia.jl-Y-F1--var-backend.in \
	case/cond1_ocaml.ml-O-T0--var-backend.exp \
	case/cond1_ocaml.ml-O-T0--var-backend.in \
	case/cond1_ruby.rb-R-F0--var-backend.exp \
	case/cond1_ruby.rb-R-F0--var-backend.in \
	case/cond1_rust.rs-U-T1--var-backend.exp \
	case/cond1_rust.rs-U-T1--var-backend.in \
	case/cond2.cpp-C-F0--goto-backend.exp \
	case/cond2.cpp-C-F0--goto-backend.in \
	case/cond2.cpp-C-F1--goto-backend.exp \
	case/cond2.cpp-C-F1--goto-backend.in \
	case/cond2.cpp-C-F1--var-backend.exp \
	case/cond2.cpp-C-F1--var-backend.in \
	case/cond2.cpp-C-T0--goto-backend.exp \
	case/cond2.cpp-C-T0--goto-backend.in \
	case/cond2.cpp-C-T0--var-backend.exp \
	case/cond2.cpp-C-T0--var-backend.in \
	case/cond4.cpp-C-F1--goto-backend.exp \
	case/cond4.cpp-C-F1--goto-backend.in \
	case/cond4.cpp-C-F1--var-backend.exp \
	case/cond4.cpp-C-F1--var-backend.in \
	case/cond4.cpp-C-T1--goto-backend.exp \
	case/cond4.cpp-C-T1--goto-backend.in \
	case/cond5.cpp-C-F0--goto-backend.exp \
	case/cond5.cpp-C-F0--goto-backend.in \
	case/cond5.cpp-C-F0--var-backend.exp \
	case/cond5.cpp-C-F0--var-backend.in \
	case/cond5.cpp-C-T1--var-backend.exp \
	case/cond5.cpp-C-T1--var-backend.in \
	case/cond6.cpp-C-T1--var-backend.exp \
	case/cond6.cpp-C-T1--var-backend.in \
	case/cond7_c.c-C-F1--var-backend.exp \
	case/cond7_c.c-C-F1--var-backend.in \
	case/cond7_c.c-C-G0--goto-backend.exp \
	case/cond7_c.c-C-G0--goto-backend.in \
	case/cond7_c.c-C-T1--var-backend.exp \
	case/cond7_c.c-C-T1--var-backend.in \
	case/cond7_cs.cs-A-F0--var-backend.exp \
	case/cond7_cs.cs-A-F0--var-backend.in \
	case/cond7_cs.cs-A-F1--var-backend.exp \
	case/cond7_cs.cs-A-F1--var-backend.in \
	case/cond7_cs.cs-A-G0--goto-backend.exp \
	case/cond7_cs.cs-A-G0--goto-backend.in \
	case/cond7_cs.cs-A-T0--var-backend.exp \
	case/cond7_cs.cs-A-T0--var-backend.in \
	case/cond7_cs.cs-A-T1--goto-backend.exp \
	case/cond7_cs.cs-A-T1--goto-backend.in \
	case/cond7_go.go-Z-F1--goto-backend.exp \
	case/cond7_go.go-Z-F1--goto-backend.in \
	case/cond7_go.go-Z-F1--var-backend.exp \
	case/cond7_go.go-Z-F1--var-backend.in \
	case/cond7_go.go-Z-G0--goto-backend.exp \
	case/cond7_go.go-Z-G0--goto-backend.in \
	case/cond7_go.go-Z-G2--goto-backend.exp \
	case/cond7_go.go-Z-G2--goto-backend.in \
	case/cond7_go.go-Z-T0--goto-backend.exp \
	case/cond7_go.go-Z-T0--goto-backend.in \
	case/cond7_java.java-J-T0--var-backend.exp \
	case/cond7_java.java-J-T0--var-backend.in \
	case/cond7_julia.jl-Y-F0--var-backend.exp \
	case/cond7_julia.jl-Y-F0--var-backend.in \
	case/cond7_ocaml.ml-O-T1--var-backend.exp \
	case/cond7_ocaml.ml-O-T1--var-backend.in \
	case/cond8.ml-O-F1--var-backend.exp \
	case/cond8.ml-O-F1--var-backend.in \
	case/cond8.ml-O-T1--var-backend.exp \
	case/cond8.ml-O-T1--var-backend.in \
	case/conderr1.cpp-C-F0--goto-backend.exp \
	case/conderr1.cpp-C-F0--goto-backend.in \
	case/conderr1.cpp-C-F0--var-backend.exp \
	case/conderr1.cpp-C-F0--var-backend.in \
	case/conderr1.cpp-C-T0--var-backend.exp \
	case/conderr1.cpp-C-T0--var-backend.in \
	case/conderr2.c-C-G0--goto-backend.exp \
	case/conderr2.c-C-G0--goto-backend.in \
	case/conderr2.c-C-T0--var-backend.exp \
	case/conderr2.c-C-T0--var-backend.in \
	case/condrep1.cpp-C-T1--goto-backend.exp \
	case/condrep1.cpp-C-T1--goto-backend.in \
	case/condrep2.cpp-C-F0--goto-backend.exp \
	case/condrep2.cpp-C-F0--goto-backend.in \
	case/condrep2.cpp-C-F0--var-backend.exp \
	case/condrep2.cpp-C-F0--var-backend.in \
	case/condrep2.cpp-C-F1--var-backend.exp \
	case/condrep2.cpp-C-F1--var-backend.in \
	case/condrep2.cpp-C-T1--var-backend.exp \
	case/condrep2.cpp-C-T1--var-backend.in \
	case/condrep3.cpp-C-F1--goto-backend.exp \
	case/condrep3.cpp-C-F1--goto-backend.in \
	case/condrep3.cpp-C-F1--var-backend.exp \
	case/condrep3.cpp-C-F1--var-backend.in \
	case/condrep4.cpp-C-G1--goto-backend.exp \
	case/condrep4.cpp-C-G1--goto-backend.in \
	case/condrep4.cpp-C-T0--goto-backend.exp \
	case/condrep4.cpp-C-T0--goto-backend.in \
	case/condrep4.cpp-C-T1--var-backend.exp \
	case/condrep4.cpp-C-T1--var-backend.in \
	case/crack1.crk-K-F1--var-backend.exp \
	case/crack1.crk-K-F1--var-backend.in \
	case/crack1.crk-K-T1--var-backend.exp \
	case/crack1.crk-K-T1--var-backend.in \
	case/curs1_c.c-C-F0--goto-backend.exp \
	case/curs1_c.c-C-F0--goto-backend.in \
	case/curs1_c.c-C-F0--var-backend.exp \
	case/curs1_c.c-C-F0--var-backend.in \
	case/curs1_c.c-C-F1--var-backend.exp \
	case/curs1_c.c-C-F1--var-backend.in \
	case/curs1_c.c-C-T1--goto-backend.exp \
	case/curs1_c.c-C-T1--goto-backend.in \
	case/curs1_crack.crk-K-F0--var-backend.exp \
	case/curs1_crack.crk-K-F0--var-backend.in \
	case/curs1_crack.crk-K-T0--var-backend.exp \
	case/curs1_crack.crk-K-T0--var-backend.in \
	case/curs1_cs.cs-A-F0--goto-backend.exp \
	case/curs1_cs.cs-A-F0--goto-backend.in \
	case/curs1_cs.cs-A-F0--var-backend.exp \
	case/curs1_cs.cs-A-F0--var-backend.in \
	case/curs1_cs.cs-A-G0--goto-backend.exp \
	case/curs1_cs.cs-A-G0--goto-backend.in \
	case/curs1_cs.cs-A-T1--goto-backend.exp \
	case/curs1_cs.cs-A-T1--goto-backend.in \
	case/curs1_go.go-Z-F0--goto-backend.exp \
	case/curs1_go.go-Z-F0--goto-backend.in \
	case/curs1_go.go-Z-T0--var-backend.exp \
	case/curs1_go.go-Z-T0--var-backend.in \
	case/curs1_go.go-Z-T1--var-backend.exp \
	case/curs1_go.go-Z-T1--var-backend.in \
	case/curs1_java.java-J-F0--var-backend.exp \
	case/curs1_java.java-J-F0--var-backend.in \
	case/curs1_java.java-J-F1--goto-backend.exp \
	case/curs1_java.java-J-F1--goto-backend.in \
	case/curs1_java.java-J-T0--goto-backend.exp \
	case/curs1_java.java-J-T0--goto-backend.in \
	case/curs1_julia.jl-Y-T0--var-backend.exp \
	case/curs1_julia.jl-Y-T0--var-backend.in \
	case/curs1_julia.jl-Y-T1--var-backend.exp \
	case/curs1_julia.jl-Y-T1--var-backend.in \
	case/curs1_ocaml.ml-O-F1--var-backend.exp \
	case/curs1_ocaml.ml-O-F1--var-backend.in \
	case/curs1_ocaml.ml-O-T1--var-backend.exp \
	case/curs1_ocaml.ml-O-T1--var-backend.in \
	case/curs1_rust.rs-U-F0--var-backend.exp \
	case/curs1_rust.rs-U-F0--var-backend.in \
	case/curs1_rust.rs-U-T0--var-backend.exp \
	case/curs1_rust.rs-U-T0--var-backend.in \
	case/element2.c-C-F1--goto-backend.exp \
	case/element2.c-C-F1--goto-backend.in \
	case/element2.c-C-G0--goto-backend.exp \
	case/element2.c-C-G0--goto-backend.in \
	case/element2.c-C-T0--goto-backend.exp \
	case/element2.c-C-T0--goto-backend.in \
	case/element2.c-C-T1--goto-backend.exp \
	case/element2.c-C-T1--goto-backend.in \
	case/element3.m-C-F0--var-backend.exp \
	case/element3.m-C-F0--var-backend.in \
	case/element3.m-C-G1--goto-backend.exp \
	case/element3.m-C-G1--goto-backend.in \
	case/element3.m-C-T1--var-backend.exp \
	case/element3.m-C-T1--var-backend.in \
	case/eofact_c.c-C-F1--goto-backend.exp \
	case/eofact_c.c-C-F1--goto-backend.in \
	case/eofact_c.c-C-F1--var-backend.exp \
	case/eofact_c.c-C-F1--var-backend.in \
	case/eofact_c.c-C-G0--goto-backend.exp \
	case/eofact_c.c-C-G0--goto-backend.in \
	case/eofact_c.c-C-G1--goto-backend.exp \
	case/eofact_c.c-C-G1--goto-backend.in \
	case/eofact_c.c-C-T1--var-backend.exp \
	case/eofact_c.c-C-T1--var-backend.in \
	case/eofact_cs.cs-A-F0--var-backend.exp \
	case/eofact_cs.cs-A-F0--var-backend.in \
	case/eofact_cs.cs-A-G0--goto-backend.exp \
	case/eofact_cs.cs-A-G0--goto-backend.in \
	case/eofact_go.go-Z-F0--var-backend.exp \
	case/eofact_go.go-Z-F0--var-backend.in \
	case/eofact_java.java-J-F1--goto-backend.exp \
	case/eofact_java.java-J-F1--goto-backend.in \
	case/eofact_java.java-J-T0--var-backend.exp \
	case/eofact_java.java-J-T0--var-backend.in \
	case/eofact_julia.jl-Y-F1--var-backend.exp \
	case/eofact_julia.jl-Y-F1--var-backend.in \
	case/eofact_ocaml.ml-O-T0--var-backend.exp \
	case/eofact_ocaml.ml-O-T0--var-backend.in \
	case/eofact_ocaml.ml-O-T1--var-backend.exp \
	case/eofact_ocaml.ml-O-T1--var-backend.in \
	case/erract1.cpp-C-F0--goto-backend.exp \
	case/erract1.cpp-C-F0--goto-backend.in \
	case/erract1.cpp-C-F1--goto-backend.exp \
	case/erract1.cpp-C-F1--goto-backend.in \
	case/erract1.cpp-C-F1--var-backend.exp \
	case/erract1.cpp-C-F1--var-backend.in \
	case/erract1.cpp-C-G2--goto-backend.exp \
	case/erract1.cpp-C-G2--goto-backend.in \
	case/erract1.cpp-C-T0--goto-backend.exp \
	case/erract1.cpp-C-T0--goto-backend.in \
	case/erract1.cpp-C-T1--var-backend.exp \
	case/erract1.cpp-C-T1--var-backend.in \
	case/erract2_c.c-C-F0--var-backend.exp \
	case/erract2_c.c-C-F0--var-backend.in \
	case/erract2_c.c-C-F1--goto-backend.exp \
	case/erract2_c.c-C-F1--goto-backend.in \
	case/erract2_crack.crk-K-F0--var-backend.exp \
	case/erract2_crack.crk-K-F0--var-backend.in \
	case/erract2_cs.cs-A-F0--var-backend.exp \
	case/erract2_cs.cs-A-F0--var-backend.in \
	case/erract2_cs.cs-A-G1--goto-backend.exp \
	case/erract2_cs.cs-A-G1--goto-backend.in \
	case/erract2_go.go-Z-F1--var-backend.exp \
	case/erract2_go.go-Z-F1--var-backend.in \
	case/erract2_go.go-Z-G0--goto-backend.exp \
	case/erract2_go.go-Z-G0--goto-backend.in \
	case/erract2_go.go-Z-T0--var-backend.exp \
	case/erract2_go.go-Z-T0--var-backend.in \
	case/erract2_java.java-J-F0--goto-backend.exp \
	case/erract2_java.java-J-F0--goto-backend.in \
	case/erract2_java.java-J-T1--var-backend.exp \
	case/erract2_java.java-J-T1--var-backend.in \
	case/erract2_julia.jl-Y-T0--var-backend.exp \
	case/erract2_julia.jl-Y-T0--var-backend.in \
	case/erract2_ocaml.ml-O-F1--var-backend.exp \
	case/erract2_ocaml.ml-O-F1--var-backend.in \
	case/erract2_ocaml.ml-O-T0--var-backend.exp \
	case/erract2_ocaml.ml-O-T0--var-backend.in \
	case/erract2_ruby.rb-R-T1--var-backend.exp \
	case/erract2_ruby.rb-R-T1--var-backend.in \
	case/erract2_rust.rs-U-F0--var-backend.exp \
	case/erract2_rust.rs-U-F0--var-backend.in \
	case/erract3.c-C-F1--goto-backend.exp \
	case/erract3.c-C-F1--goto-backend.in \
	case/erract3.c-C-G1--goto-backend.exp \
	case/erract3.c-C-G1--goto-backend.in \
	case/erract3.c-C-T1--goto-backend.exp \
	case/erract3.c-C-T1--goto-backend.in \
	case/erract3.c-C-T1--var-backend.exp \
	case/erract3.c-C-T1--var-backend.in \
	case/erract4.m-C-F1--goto-backend.exp \
	case/erract4.m-C-F1--goto-backend.in \
	case/erract5.m-C-F1--goto-backend.exp \
	case/erract5.m-C-F1--goto-backend.in \
	case/erract5.m-C-G0--goto-backend.exp \
	case/erract5.m-C-G0--goto-backend.in \
	case/erract6.c-C-F0--var-backend.exp \
	case/erract6.c-C-F0--var-backend.in \
	case/erract6.c-C-F1--var-backend.exp \
	case/erract6.c-C-F1--var-backend.in \
	case/erract8.java-J-T1--goto-backend.exp \
	case/erract8.java-J-T1--goto-backend.in \
	case/erract8.java-J-T1--var-backend.exp \
	case/erract8.java-J-T1--var-backend.in \
	case/erract9.rb-R-F0--var-backend.exp \
	case/erract9.rb-R-F0--var-backend.in \
	case/erract9.rb-R-F1--var-backend.exp \
	case/erract9.rb-R-F1--var-backend.in \
	case/erract9.rb-R-T1--var-backend.exp \
	case/erract9.rb-R-T1--var-backend.in \
	case/export1.c-C-F0--goto-backend.exp \
	case/export1.c-C-F0--goto-backend.in \
	case/export1.c-C-F1--goto-backend.exp \
	case/export1.c-C-F1--goto-backend.in \
	case/export2.java-J-T0--var-backend.exp \
	case/export2.java-J-T0--var-backend.in \
	case/export2.java-J-T1--goto-backend.exp \
	case/export2.java-J-T1--goto-backend.in \
	case/export2.java-J-T1--var-backend.exp \
	case/export2.java-J-T1--var-backend.in \
	case/export3.rb-R-T0--var-backend.exp \
	case/export3.rb-R-T0--var-backend.in \
	case/fnext1.c-C-G0--goto-backend.exp \
	case/fnext1.c-C-G0--goto-backend.in \
	case/fnext1.c-C-G2--goto-backend.exp \
	case/fnext1.c-C-G2--goto-backend.in \
	case/fnext2.c-C-F0--var-backend.exp \
	case/fnext2.c-C-F0--var-backend.in \
	case/fnext2.c-C-T1--goto-backend.exp \
	case/fnext2.c-C-T1--goto-backend.in \
	case/fnext3.c-C-T0--var-backend.exp \
	case/fnext3.c-C-T0--var-backend.in \
	case/fnext3.c-C-T1--var-backend.exp \
	case/fnext3.c-C-T1--var-backend.in \
	case/forder1.c-C-F0--var-backend.exp \
	case/forder1.c-C-F0--var-backend.in \
	case/forder2.c-C-F0--goto-backend.exp \
	case/forder2.c-C-F0--goto-backend.in \
	case/forder2.c-C-F0--var-backend.exp \
	case/forder2.c-C-F0--var-backend.in \
	case/forder2.c-C-F1--var-backend.exp \
	case/forder2.c-C-F1--var-backend.in \
	case/forder2.c-C-G0--goto-backend.exp \
	case/forder2.c-C-G0--goto-backend.in \
	case/forder2.c-C-T0--goto-backend.exp \
	case/forder2.c-C-T0--goto-backend.in \
	case/forder2.c-C-T0--var-backend.exp \
	case/forder2.c-C-T0--var-backend.in \
	case/forder3.c-C-F0--goto-backend.exp \
	case/forder3.c-C-F0--goto-backend.in \
	case/forder3.c-C-F0--var-backend.exp \
	case/forder3.c-C-F0--var-backend.in \
	case/forder3.c-C-G0--goto-backend.exp \
	case/forder3.c-C-G0--goto-backend.in \
	case/genrep1.c-C-F0--goto-backend.exp \
	case/genrep1.c-C-F0--goto-backend.in \
	case/genrep1.c-C-F1--goto-backend.exp \
	case/genrep1.c-C-F1--goto-backend.in \
	case/genrep2.c-C-F0--goto-backend.exp \
	case/genrep2.c-C-F0--goto-backend.in \
	case/genrep2.c-C-F1--goto-backend.exp \
	case/genrep2.c-C-F1--goto-backend.in \
	case/genrep2.c-C-G0--goto-backend.exp \
	case/genrep2.c-C-G0--goto-backend.in \
	case/genrep2.c-C-T0--var-backend.exp \
	case/genrep2.c-C-T0--var-backend.in \
	case/genrep2.c-C-T1--goto-backend.exp \
	case/genrep2.c-C-T1--goto-backend.in \
	case/genrep4.c-C-F0--var-backend.exp \
	case/genrep4.c-C-F0--var-backend.in \
	case/genrep4.c-C-G0--goto-backend.exp \
	case/genrep4.c-C-G0--goto-backend.in \
	case/genrep4.c-C-G1--goto-backend.exp \
	case/genrep4.c-C-G1--goto-backend.in \
	case/genrep4.c-C-G2--goto-backend.exp \
	case/genrep4.c-C-G2--goto-backend.in \
	case/genrep4.c-C-T0--goto-backend.exp \
	case/genrep4.c-C-T0--goto-backend.in \
	case/genrep4.c-C-T0--var-backend.exp \
	case/genrep4.c-C-T0--var-backend.in \
	case/genrep4.c-C-T1--goto-backend.exp \
	case/genrep4.c-C-T1--goto-backend.in \
	case/genrep4.c-C-T1--var-backend.exp \
	case/genrep4.c-C-T1--var-backend.in \
	case/genrep5.c-C-F0--goto-backend.exp \
	case/genrep5.c-C-F0--goto-backend.in \
	case/genrep5.c-C-F0--var-backend.exp \
	case/genrep5.c-C-F0--var-backend.in \
	case/genrep5.c-C-G0--goto-backend.exp \
	case/genrep5.c-C-G0--goto-backend.in \
	case/genrep5.c-C-T0--var-backend.exp \
	case/genrep5.c-C-T0--var-backend.in \
	case/genrep6.c-C-F1--goto-backend.exp \
	case/genrep6.c-C-F1--goto-backend.in \
	case/genrep6.c-C-G0--goto-backend.exp \
	case/genrep6.c-C-G0--goto-backend.in \
	case/genrep6.c-C-G1--goto-backend.exp \
	case/genrep6.c-C-G1--goto-backend.in \
	case/genrep6.c-C-T1--goto-backend.exp \
	case/genrep6.c-C-T1--goto-backend.in \
	case/genrep6.c-C-T1--var-backend.exp \
	case/genrep6.c-C-T1--var-backend.in \
	case/goto1_c.c-C-G1--goto-backend.exp \
	case/goto1_c.c-C-G1--goto-backend.in \
	case/goto1_c.c-C-G2--goto-backend.exp \
	case/goto1_c.c-C-G2--goto-backend.in \
	case/goto1_cs.cs-A-F0--goto-backend.exp \
	case/goto1_cs.cs-A-F0--goto-backend.in \
	case/goto1_cs.cs-A-G0--goto-backend.exp \
	case/goto1_cs.cs-A-G0--goto-backend.in \
	case/goto1_go.go-Z-F0--var-backend.exp \
	case/goto1_go.go-Z-F0--var-backend.in \
	case/goto1_go.go-Z-F1--var-backend.exp \
	case/goto1_go.go-Z-F1--var-backend.in \
	case/goto1_go.go-Z-T1--goto-backend.exp \
	case/goto1_go.go-Z-T1--goto-backend.in \
	case/goto1_java.java-J-F0--var-backend.exp \
	case/goto1_java.java-J-F0--var-backend.in \
	case/goto1_julia.jl-Y-F0--var-backend.exp \
	case/goto1_julia.jl-Y-F0--var-backend.in \
	case/goto1_julia.jl-Y-T0--var-backend.exp \
	case/goto1_julia.jl-Y-T0--var-backend.in \
	case/goto1_rust.rs-U-F1--var-backend.exp \
	case/goto1_rust.rs-U-F1--var-backend.in \
	case/goto1_rust.rs-U-T0--var-backend.exp \
	case/goto1_rust.rs-U-T0--var-backend.in \
	case/goto1_rust.rs-U-T1--var-backend.exp \
	case/goto1_rust.rs-U-T1--var-backend.in \
	case/gotocallret1_c.c-C-F0--goto-backend.exp \
	case/gotocallret1_c.c-C-F0--goto-backend.in \
	case/gotocallret2_c.c-C-G1--goto-backend.exp \
	case/gotocallret2_c.c-C-G1--goto-backend.in \
	case/gotocallret2_c.c-C-T0--goto-backend.exp \
	case/gotocallret2_c.c-C-T0--goto-backend.in \
	case/gotocallret2_cs.cs-A-F0--goto-backend.exp \
	case/gotocallret2_cs.cs-A-F0--goto-backend.in \
	case/gotocallret2_cs.cs-A-G0--goto-backend.exp \
	case/gotocallret2_cs.cs-A-G0--goto-backend.in \
	case/gotocallret2_cs.cs-A-G1--goto-backend.exp \
	case/gotocallret2_cs.cs-A-G1--goto-backend.in \
	case/gotocallret2_cs.cs-A-T0--goto-backend.exp \
	case/gotocallret2_cs.cs-A-T0--goto-backend.in \
	case/gotocallret2_cs.cs-A-T1--goto-backend.exp \
	case/gotocallret2_cs.cs-A-T1--goto-backend.in \
	case/gotocallret2_java.java-J-T0--goto-backend.exp \
	case/gotocallret2_java.java-J-T0--goto-backend.in \
	case/gotocallret3_c.c-C-F1--var-backend.exp \
	case/gotocallret3_c.c-C-F1--var-backend.in \
	case/gotocallret3_c.c-C-G0--goto-backend.exp \
	case/gotocallret3_c.c-C-G0--goto-backend.in \
	case/gotocallret3_cs.cs-A-F0--goto-backend.exp \
	case/gotocallret3_cs.cs-A-F0--goto-backend.in \
	case/gotocallret3_cs.cs-A-F0--var-backend.exp \
	case/gotocallret3_cs.cs-A-F0--var-backend.in \
	case/gotocallret3_cs.cs-A-G0--goto-backend.exp \
	case/gotocallret3_cs.cs-A-G0--goto-backend.in \
	case/gotocallret3_cs.cs-A-G1--goto-backend.exp \
	case/gotocallret3_cs.cs-A-G1--goto-backend.in \
	case/gotocallret3_cs.cs-A-T0--var-backend.exp \
	case/gotocallret3_cs.cs-A-T0--var-backend.in \
	case/gotocallret3_go.go-Z-F0--goto-backend.exp \
	case/gotocallret3_go.go-Z-F0--goto-backend.in \
	case/gotocallret3_go.go-Z-F1--var-backend.exp \
	case/gotocallret3_go.go-Z-F1--var-backend.in \
	case/gotocallret3_go.go-Z-G1--goto-backend.exp \
	case/gotocallret3_go.go-Z-G1--goto-backend.in \
	case/gotocallret3_go.go-Z-T1--goto-backend.exp \
	case/gotocallret3_go.go-Z-T1--goto-backend.in \
	case/gotocallret3_java.java-J-F0--goto-backend.exp \
	case/gotocallret3_java.java-J-F0--goto-backend.in \
	case/gotocallret3_java.java-J-F0--var-backend.exp \
	case/gotocallret3_java.java-J-F0--var-backend.in \
	case/gotocallret3_ocaml.ml-O-F0--var-backend.exp \
	case/gotocallret3_ocaml.ml-O-F0--var-backend.in \
	case/gotocallret3_ocaml.ml-O-T1--var-backend.exp \
	case/gotocallret3_ocaml.ml-O-T1--var-backend.in \
	case/gotocallret3_ruby.rb-R-T1--var-backend.exp \
	case/gotocallret3_ruby.rb-R-T1--var-backend.in \
	case/gotocallret3_rust.rs-U-F1--var-backend.exp \
	case/gotocallret3_rust.rs-U-F1--var-backend.in \
	case/gotocallret3_rust.rs-U-T0--var-backend.exp \
	case/gotocallret3_rust.rs-U-T0--var-backend.in \
	case/high1.c-C-G1--goto-backend.exp \
	case/high1.c-C-G1--goto-backend.in \
	case/high1.c-C-T0--goto-backend.exp \
	case/high1.c-C-T0--goto-backend.in \
	case/high1.c-C-T0--var-backend.exp \
	case/high1.c-C-T0--var-backend.in \
	case/high2.cpp-C-F0--var-backend.exp \
	case/high2.cpp-C-F0--var-backend.in \
	case/high2.cpp-C-F1--goto-backend.exp \
	case/high2.cpp-C-F1--goto-backend.in \
	case/high2.cpp-C-T1--goto-backend.exp \
	case/high2.cpp-C-T1--goto-backend.in \
	case/high3.m-C-F1--goto-backend.exp \
	case/high3.m-C-F1--goto-backend.in \
	case/high3.m-C-G1--goto-backend.exp \
	case/high3.m-C-G1--goto-backend.in \
	case/high3.m-C-G2--goto-backend.exp \
	case/high3.m-C-G2--goto-backend.in \
	case/high3.m-C-T0--goto-backend.exp \
	case/high3.m-C-T0--goto-backend.in \
	case/high3.m-C-T0--var-backend.exp \
	case/high3.m-C-T0--var-backend.in \
	case/high3.m-C-T1--var-backend.exp \
	case/high3.m-C-T1--var-backend.in \
	case/import1.c-C-F0--goto-backend.exp \
	case/import1.c-C-F0--goto-backend.in \
	case/import1.c-C-F0--var-backend.exp \
	case/import1.c-C-F0--var-backend.in \
	case/import1.c-C-F1--goto-backend.exp \
	case/import1.c-C-F1--goto-backend.in \
	case/import1.c-C-F1--var-backend.exp \
	case/import1.c-C-F1--var-backend.in \
	case/import1.c-C-G2--goto-backend.exp \
	case/import1.c-C-G2--goto-backend.in \
	case/import1.c-C-T0--var-backend.exp \
	case/import1.c-C-T0--var-backend.in \
	case/java1.java-J-F0--var-backend.exp \
	case/java1.java-J-F0--var-backend.in \
	case/java1.java-J-T0--var-backend.exp \
	case/java1.java-J-T0--var-backend.in \
	case/java2.java-J-T0--var-backend.exp \
	case/java2.java-J-T0--var-backend.in \
	case/lmgoto.cpp-C-F0--goto-backend.exp \
	case/lmgoto.cpp-C-F0--goto-backend.in \
	case/lmgoto.cpp-C-F1--goto-backend.exp \
	case/lmgoto.cpp-C-F1--goto-backend.in \
	case/lmgoto.cpp-C-T1--var-backend.exp \
	case/lmgoto.cpp-C-T1--var-backend.in \
	case/ncall1_c.c-C-F1--goto-backend.exp \
	case/ncall1_c.c-C-F1--goto-backend.in \
	case/ncall1_c.c-C-F1--var-backend.exp \
	case/ncall1_c.c-C-F1--var-backend.in \
	case/ncall1_c.c-C-T0--goto-backend.exp \
	case/ncall1_c.c-C-T0--goto-backend.in \
	case/ncall1_c.c-C-T0--var-backend.exp \
	case/ncall1_c.c-C-T0--var-backend.in \
	case/ncall1_c.c-C-T1--goto-backend.exp \
	case/ncall1_c.c-C-T1--goto-backend.in \
	case/ncall1_crack.crk-K-T0--var-backend.exp \
	case/ncall1_crack.crk-K-T0--var-backend.in \
	case/ncall1_cs.cs-A-F0--var-backend.exp \
	case/ncall1_cs.cs-A-F0--var-backend.in \
	case/ncall1_cs.cs-A-F1--var-backend.exp \
	case/ncall1_cs.cs-A-F1--var-backend.in \
	case/ncall1_cs.cs-A-G1--goto-backend.exp \
	case/ncall1_cs.cs-A-G1--goto-backend.in \
	case/ncall1_cs.cs-A-T0--var-backend.exp \
	case/ncall1_cs.cs-A-T0--var-backend.in \
	case/ncall1_cs.cs-A-T1--goto-backend.exp \
	case/ncall1_cs.cs-A-T1--goto-backend.in \
	case/ncall1_go.go-Z-F0--var-backend.exp \
	case/ncall1_go.go-Z-F0--var-backend.in \
	case/ncall1_java.java-J-T1--goto-backend.exp \
	case/ncall1_java.java-J-T1--goto-backend.in \
	case/ncall1_ocaml.ml-O-F1--var-backend.exp \
	case/ncall1_ocaml.ml-O-F1--var-backend.in \
	case/ncall1_ruby.rb-R-F0--var-backend.exp \
	case/ncall1_ruby.rb-R-F0--var-backend.in \
	case/ncall1_ruby.rb-R-F1--var-backend.exp \
	case/ncall1_ruby.rb-R-F1--var-backend.in \
	case/next1_c.c-C-F0--goto-backend.exp \
	case/next1_c.c-C-F0--goto-backend.in \
	case/next1_c.c-C-T1--goto-backend.exp \
	case/next1_c.c-C-T1--goto-backend.in \
	case/next1_c.c-C-T1--var-backend.exp \
	case/next1_c.c-C-T1--var-backend.in \
	case/next1_cs.cs-A-F0--goto-backend.exp \
	case/next1_cs.cs-A-F0--goto-backend.in \
	case/next1_cs.cs-A-F1--var-backend.exp \
	case/next1_cs.cs-A-F1--var-backend.in \
	case/next1_cs.cs-A-T1--goto-backend.exp \
	case/next1_cs.cs-A-T1--goto-backend.in \
	case/next1_go.go-Z-G2--goto-backend.exp \
	case/next1_go.go-Z-G2--goto-backend.in \
	case/next1_go.go-Z-T1--var-backend.exp \
	case/next1_go.go-Z-T1--var-backend.in \
	case/next1_java.java-J-F1--goto-backend.exp \
	case/next1_java.java-J-F1--goto-backend.in \
	case/next1_java.java-J-F1--var-backend.exp \
	case/next1_java.java-J-F1--var-backend.in \
	case/next1_julia.jl-Y-F1--var-backend.exp \
	case/next1_julia.jl-Y-F1--var-backend.in \
	case/next1_ocaml.ml-O-F0--var-backend.exp \
	case/next1_ocaml.ml-O-F0--var-backend.in \
	case/next1_ruby.rb-R-T1--var-backend.exp \
	case/next1_ruby.rb-R-T1--var-backend.in \
	case/next1_rust.rs-U-F0--var-backend.exp \
	case/next1_rust.rs-U-F0--var-backend.in \
	case/next2_c.c-C-G1--goto-backend.exp \
	case/next2_c.c-C-G1--goto-backend.in \
	case/next2_crack.crk-K-T1--var-backend.exp \
	case/next2_crack.crk-K-T1--var-backend.in \
	case/next2_cs.cs-A-G0--goto-backend.exp \
	case/next2_cs.cs-A-G0--goto-backend.in \
	case/next2_cs.cs-A-G1--goto-backend.exp \
	case/next2_cs.cs-A-G1--goto-backend.in \
	case/next2_cs.cs-A-T1--goto-backend.exp \
	case/next2_cs.cs-A-T1--goto-backend.in \
	case/next2_julia.jl-Y-F1--var-backend.exp \
	case/next2_julia.jl-Y-F1--var-backend.in \
	case/next2_ocaml.ml-O-F0--var-backend.exp \
	case/next2_ocaml.ml-O-F0--var-backend.in \
	case/next2_ocaml.ml-O-T1--var-backend.exp \
	case/next2_ocaml.ml-O-T1--var-backend.in \
	case/next2_ruby.rb-R-T1--var-backend.exp \
	case/next2_ruby.rb-R-T1--var-backend.in \
	case/nfa1.c-C-F1--goto-backend.exp \
	case/nfa1.c-C-F1--goto-backend.in \
	case/nfa1.c-C-G0--goto-backend.exp \
	case/nfa1.c-C-G0--goto-backend.in \
	case/nfa1.c-C-G1--goto-backend.exp \
	case/nfa1.c-C-G1--goto-backend.in \
	case/nfa1.c-C-T1--goto-backend.exp \
	case/nfa1.c-C-T1--goto-backend.in \
	case/nfa3.c-C-F0--goto-backend.exp \
	case/nfa3.c-C-F0--goto-backend.in \
	case/nfa3.c-C-G1--goto-backend.exp \
	case/nfa3.c-C-G1--goto-backend.in \
	case/nfa3.c-C-T0--var-backend.exp \
	case/nfa3.c-C-T0--var-backend.in \
	case/nfa3.c-C-T1--var-backend.exp \
	case/nfa3.c-C-T1--var-backend.in \
	case/noignore.c-C-F1--goto-backend.exp \
	case/noignore.c-C-F1--goto-backend.in \
	case/noignore.c-C-T0--goto-backend.exp \
	case/noignore.c-C-T0--goto-backend.in \
	case/noignore.c-C-T1--goto-backend.exp \
	case/noignore.c-C-T1--goto-backend.in \
	case/patact_c.c-C-F0--var-backend.exp \
	case/patact_c.c-C-F0--var-backend.in \
	case/patact_c.c-C-G0--goto-backend.exp \
	case/patact_c.c-C-G0--goto-backend.in \
	case/patact_c.c-C-G2--goto-backend.exp \
	case/patact_c.c-C-G2--goto-backend.in \
	case/patact_c.c-C-T0--var-backend.exp \
	case/patact_c.c-C-T0--var-backend.in \
	case/patact_crack.crk-K-T0--var-backend.exp \
	case/patact_crack.crk-K-T0--var-backend.in \
	case/patact_crack.crk-K-T1--var-backend.exp \
	case/patact_crack.crk-K-T1--var-backend.in \
	case/patact_cs.cs-A-F1--var-backend.exp \
	case/patact_cs.cs-A-F1--var-backend.in \
	case/patact_go.go-Z-G2--goto-backend.exp \
	case/patact_go.go-Z-G2--goto-backend.in \
	case/patact_java.java-J-T0--var-backend.exp \
	case/patact_java.java-J-T0--var-backend.in \
	case/patact_julia.jl-Y-F1--var-backend.exp \
	case/patact_julia.jl-Y-F1--var-backend.in \
	case/patact_julia.jl-Y-T0--var-backend.exp \
	case/patact_julia.jl-Y-T0--var-backend.in \
	case/patact_ruby.rb-R-T0--var-backend.exp \
	case/patact_ruby.rb-R-T0--var-backend.in \
	case/patact_ruby.rb-R-T1--var-backend.exp \
	case/patact_ruby.rb-R-T1--var-backend.in \
	case/patact_rust.rs-U-F0--var-backend.exp \
	case/patact_rust.rs-U-F0--var-backend.in \
	case/patact_rust.rs-U-F1--var-backend.exp \
	case/patact_rust.rs-U-F1--var-backend.in \
	case/patact_rust.rs-U-T0--var-backend.exp \
	case/patact_rust.rs-U-T0--var-backend.in \
	case/patact_rust.rs-U-T1--var-backend.exp \
	case/patact_rust.rs-U-T1--var-backend.in \
	case/recdescent1.c-C-G1--goto-backend.exp \
	case/recdescent1.c-C-G1--goto-backend.in \
	case/recdescent2.java-J-T0--goto-backend.exp \
	case/recdescent2.java-J-T0--goto-backend.in \
	case/recdescent4.c-C-F1--goto-backend.exp \
	case/recdescent4.c-C-F1--goto-backend.in \
	case/recdescent4.c-C-F1--var-backend.exp \
	case/recdescent4.c-C-F1--var-backend.in \
	case/recdescent4.c-C-G0--goto-backend.exp \
	case/recdescent4.c-C-G0--goto-backend.in \
	case/recdescent4.c-C-G2--goto-backend.exp \
	case/recdescent4.c-C-G2--goto-backend.in \
	case/recdescent5.java-J-F1--var-backend.exp \
	case/recdescent5.java-J-F1--var-backend.in \
	case/recdescent5.java-J-T0--var-backend.exp \
	case/recdescent5.java-J-T0--var-backend.in \
	case/repetition.cpp-C-F1--goto-backend.exp \
	case/repetition.cpp-C-F1--goto-backend.in \
	case/repetition.cpp-C-F1--var-backend.exp \
	case/repetition.cpp-C-F1--var-backend.in \
	case/repetition.cpp-C-G0--goto-backend.exp \
	case/repetition.cpp-C-G0--goto-backend.in \
	case/repetition.cpp-C-G1--goto-backend.exp \
	case/repetition.cpp-C-G1--goto-backend.in \
	case/repetition.cpp-C-T1--goto-backend.exp \
	case/repetition.cpp-C-T1--goto-backend.in \
	case/rpn1.ml-O-F0--var-backend.exp \
	case/rpn1.ml-O-F0--var-backend.in \
	case/rpn1.ml-O-T0--var-backend.exp \
	case/rpn1.ml-O-T0--var-backend.in \
	case/ruby1.rb-R-F0--var-backend.exp \
	case/ruby1.rb-R-F0--var-backend.in \
	case/ruby1.rb-R-T0--var-backend.exp \
	case/ruby1.rb-R-T0--var-backend.in \
	case/rust1.rs-U-T0--var-backend.exp \
	case/rust1.rs-U-T0--var-backend.in \
	case/rust1.rs-U-T1--var-backend.exp \
	case/rust1.rs-U-T1--var-backend.in \
	case/scan1_c.c-C-F1--goto-backend.exp \
	case/scan1_c.c-C-F1--goto-backend.in \
	case/scan1_c.c-C-G1--goto-backend.exp \
	case/scan1_c.c-C-G1--goto-backend.in \
	case/scan1_c.c-C-T1--var-backend.exp \
	case/scan1_c.c-C-T1--var-backend.in \
	case/scan1_crack.crk-K-F0--var-backend.exp \
	case/scan1_crack.crk-K-F0--var-backend.in \
	case/scan1_cs.cs-A-G0--goto-backend.exp \
	case/scan1_cs.cs-A-G0--goto-backend.in \
	case/scan1_go.go-Z-F1--var-backend.exp \
	case/scan1_go.go-Z-F1--var-backend.in \
	case/scan1_go.go-Z-G1--goto-backend.exp \
	case/scan1_go.go-Z-G1--goto-backend.in \
	case/scan1_go.go-Z-T1--var-backend.exp \
	case/scan1_go.go-Z-T1--var-backend.in \
	case/scan1_java.java-J-T0--goto-backend.exp \
	case/scan1_java.java-J-T0--goto-backend.in \
	case/scan1_julia.jl-Y-T1--var-backend.exp \
	case/scan1_julia.jl-Y-T1--var-backend.in \
	case/scan1_ruby.rb-R-T0--var-backend.exp \
	case/scan1_ruby.rb-R-T0--var-backend.in \
	case/scan1_ruby.rb-R-T1--var-backend.exp \
	case/scan1_ruby.rb-R-T1--var-backend.in \
	case/scan2_c.c-C-F0--var-backend.exp \
	case/scan2_c.c-C-F0--var-backend.in \
	case/scan2_c.c-C-F1--var-backend.exp \
	case/scan2_c.c-C-F1--var-backend.in \
	case/scan2_c.c-C-G1--goto-backend.exp \
	case/scan2_c.c-C-G1--goto-backend.in \
	case/scan2_crack.crk-K-F0--var-backend.exp \
	case/scan2_crack.crk-K-F0--var-backend.in \
	case/scan2_cs.cs-A-F1--var-backend.exp \
	case/scan2_cs.cs-A-F1--var-backend.in \
	case/scan2_cs.cs-A-G1--goto-backend.exp \
	case/scan2_cs.cs-A-G1--goto-backend.in \
	case/scan2_cs.cs-A-T0--goto-backend.exp \
	case/scan2_cs.cs-A-T0--goto-backend.in \
	case/scan2_go.go-Z-F1--var-backend.exp \
	case/scan2_go.go-Z-F1--var-backend.in \
	case/scan2_go.go-Z-T0--goto-backend.exp \
	case/scan2_go.go-Z-T0--goto-backend.in \
	case/scan2_go.go-Z-T0--var-backend.exp \
	case/scan2_go.go-Z-T0--var-backend.in \
	case/scan2_java.java-J-F0--var-backend.exp \
	case/scan2_java.java-J-F0--var-backend.in \
	case/scan2_julia.jl-Y-F0--var-backend.exp \
	case/scan2_julia.jl-Y-F0--var-backend.in \
	case/scan2_julia.jl-Y-T0--var-backend.exp \
	case/scan2_julia.jl-Y-T0--var-backend.in \
	case/scan2_ruby.rb-R-F1--var-backend.exp \
	case/scan2_ruby.rb-R-F1--var-backend.in \
	case/scan2_ruby.rb-R-T1--var-backend.exp \
	case/scan2_ruby.rb-R-T1--var-backend.in \
	case/scan2_rust.rs-U-T0--var-backend.exp \
	case/scan2_rust.rs-U-T0--var-backend.in \
	case/scan2_rust.rs-U-T1--var-backend.exp \
	case/scan2_rust.rs-U-T1--var-backend.in \
	case/scan3_c.c-C-T0--goto-backend.exp \
	case/scan3_c.c-C-T0--goto-backend.in \
	case/scan3_c.c-C-T0--var-backend.exp \
	case/scan3_c.c-C-T0--var-backend.in \
	case/scan3_c.c-C-T1--goto-backend.exp \
	case/scan3_c.c-C-T1--goto-backend.in \
	case/scan3_cs.cs-A-F0--var-backend.exp \
	case/scan3_cs.cs-A-F0--var-backend.in \
	case/scan3_cs.cs-A-G1--goto-backend.exp \
	case/scan3_cs.cs-A-G1--goto-backend.in \
	case/scan3_cs.cs-A-T0--goto-backend.exp \
	case/scan3_cs.cs-A-T0--goto-backend.in \
	case/scan3_go.go-Z-F1--var-backend.exp \
	case/scan3_go.go-Z-F1--var-backend.in \
	case/scan3_go.go-Z-T0--goto-backend.exp \
	case/scan3_go.go-Z-T0--goto-backend.in \
	case/scan3_go.go-Z-T1--goto-backend.exp \
	case/scan3_go.go-Z-T1--goto-backend.in \
	case/scan3_java.java-J-T0--goto-backend.exp \
	case/scan3_java.java-J-T0--goto-backend.in \
	case/scan3_java.java-J-T1--goto-backend.exp \
	case/scan3_java.java-J-T1--goto-backend.in \
	case/scan3_julia.jl-Y-T1--var-backend.exp \
	case/scan3_julia.jl-Y-T1--var-backend.in \
	case/scan3_ocaml.ml-O-F1--var-backend.exp \
	case/scan3_ocaml.ml-O-F1--var-backend.in \
	case/scan3_ruby.rb-R-T1--var-backend.exp \
	case/scan3_ruby.rb-R-T1--var-backend.in \
	case/scan3_rust.rs-U-F1--var-backend.exp \
	case/scan3_rust.rs-U-F1--var-backend.in \
	case/scan3_rust.rs-U-T0--var-backend.exp \
	case/scan3_rust.rs-U-T0--var-backend.in \
	case/scan4_c.c-C-F0--var-backend.exp \
	case/scan4_c.c-C-F0--var-backend.in \
	case/scan4_crack.crk-K-T0--var-backend.exp \
	case/scan4_crack.crk-K-T0--var-backend.in \
	case/scan4_cs.cs-A-G1--goto-backend.exp \
	case/scan4_cs.cs-A-G1--goto-backend.in \
	case/scan4_cs.cs-A-T1--var-backend.exp \
	case/scan4_cs.cs-A-T1--var-backend.in \
	case/scan4_go.go-Z-T0--goto-backend.exp \
	case/scan4_go.go-Z-T0--goto-backend.in \
	case/scan4_go.go-Z-T1--var-backend.exp \
	case/scan4_go.go-Z-T1--var-backend.in \
	case/scan4_julia.jl-Y-F0--var-backend.exp \
	case/scan4_julia.jl-Y-F0--var-backend.in \
	case/scan4_julia.jl-Y-F1--var-backend.exp \
	case/scan4_julia.jl-Y-F1--var-backend.in \
	case/scan4_julia.jl-Y-T1--var-backend.exp \
	case/scan4_julia.jl-Y-T1--var-backend.in \
	case/scan4_ocaml.ml-O-T0--var-backend.exp \
	case/scan4_ocaml.ml-O-T0--var-backend.in \
	case/scan4_ruby.rb-R-F0--var-backend.exp \
	case/scan4_ruby.rb-R-F0--var-backend.in \
	case/scan4_ruby.rb-R-T0--var-backend.exp \
	case/scan4_ruby.rb-R-T0--var-backend.in \
	case/scan4_rust.rs-U-T0--var-backend.exp \
	case/scan4_rust.rs-U-T0--var-backend.in \
	case/scan5.ml-O-F0--var-backend.exp \
	case/scan5.ml-O-F0--var-backend.in \
	case/scan5.ml-O-T0--var-backend.exp \
	case/scan5.ml-O-T0--var-backend.in \
	case/scan5.ml-O-T1--var-backend.exp \
	case/scan5.ml-O-T1--var-backend.in \
	case/stateact1_c.c-C-F0--goto-backend.exp \
	case/stateact1_c.c-C-F0--goto-backend.in \
	case/stateact1_c.c-C-G0--goto-backend.exp \
	case/stateact1_c.c-C-G0--goto-backend.in \
	case/stateact1_c.c-C-G1--goto-backend.exp \
	case/stateact1_c.c-C-G1--goto-backend.in \
	case/stateact1_c.c-C-T1--goto-backend.exp \
	case/stateact1_c.c-C-T1--goto-backend.in \
	case/stateact1_c.c-C-T1--var-backend.exp \
	case/stateact1_c.c-C-T1--var-backend.in \
	case/stateact1_cs.cs-A-F0--goto-backend.exp \
	case/stateact1_cs.cs-A-F0--goto-backend.in \
	case/stateact1_cs.cs-A-F0--var-backend.exp \
	case/stateact1_cs.cs-A-F0--var-backend.in \
	case/stateact1_cs.cs-A-T0--goto-backend.exp \
	case/stateact1_cs.cs-A-T0--goto-backend.in \
	case/stateact1_go.go-Z-G2--goto-backend.exp \
	case/stateact1_go.go-Z-G2--goto-backend.in \
	case/stateact1_go.go-Z-T1--goto-backend.exp \
	case/stateact1_go.go-Z-T1--goto-backend.in \
	case/stateact1_java.java-J-F1--goto-backend.exp \
	case/stateact1_java.java-J-F1--goto-backend.in \
	case/stateact1_java.java-J-F1--var-backend.exp \
	case/stateact1_java.java-J-F1--var-backend.in \
	case/stateact1_java.java-J-T0--goto-backend.exp \
	case/stateact1_java.java-J-T0--goto-backend.in \
	case/stateact1_java.java-J-T1--goto-backend.exp \
	case/stateact1_java.java-J-T1--goto-backend.in \
	case/stateact1_rust.rs-U-F1--var-backend.exp \
	case/stateact1_rust.rs-U-F1--var-backend.in \
	case/stateact1_rust.rs-U-T1--var-backend.exp \
	case/stateact1_rust.rs-U-T1--var-backend.in \
	case/statechart1.c-C-F0--goto-backend.exp \
	case/statechart1.c-C-F0--goto-backend.in \
	case/statechart1.c-C-G0--goto-backend.exp \
	case/statechart1.c-C-G0--goto-backend.in \
	case/statechart1.c-C-G1--goto-backend.exp \
	case/statechart1.c-C-G1--goto-backend.in \
	case/statechart1.c-C-T1--goto-backend.exp \
	case/statechart1.c-C-T1--goto-backend.in \
	case/statechart1.c-C-T1--var-backend.exp \
	case/statechart1.c-C-T1--var-backend.in \
	case/targs1_c.c-C-F0--var-backend.exp \
	case/targs1_c.c-C-F0--var-backend.in \
	case/targs1_crack.crk-K-F1--var-backend.exp \
	case/targs1_crack.crk-K-F1--var-backend.in \
	case/targs1_cs.cs-A-F0--goto-backend.exp \
	case/targs1_cs.cs-A-F0--goto-backend.in \
	case/targs1_cs.cs-A-F1--goto-backend.exp \
	case/targs1_cs.cs-A-F1--goto-backend.in \
	case/targs1_cs.cs-A-G0--goto-backend.exp \
	case/targs1_cs.cs-A-G0--goto-backend.in \
	case/targs1_cs.cs-A-G1--goto-backend.exp \
	case/targs1_cs.cs-A-G1--goto-backend.in \
	case/targs1_cs.cs-A-T1--goto-backend.exp \
	case/targs1_cs.cs-A-T1--goto-backend.in \
	case/targs1_cs.cs-A-T1--var-backend.exp \
	case/targs1_cs.cs-A-T1--var-backend.in \
	case/targs1_go.go-Z-F0--goto-backend.exp \
	case/targs1_go.go-Z-F0--goto-backend.in \
	case/targs1_go.go-Z-F1--var-backend.exp \
	case/targs1_go.go-Z-F1--var-backend.in \
	case/targs1_go.go-Z-G1--goto-backend.exp \
	case/targs1_go.go-Z-G1--goto-backend.in \
	case/targs1_go.go-Z-G2--goto-backend.exp \
	case/targs1_go.go-Z-G2--goto-backend.in \
	case/targs1_go.go-Z-T0--goto-backend.exp \
	case/targs1_go.go-Z-T0--goto-backend.in \
	case/targs1_julia.jl-Y-T0--var-backend.exp \
	case/targs1_julia.jl-Y-T0--var-backend.in \
	case/targs1_julia.jl-Y-T1--var-backend.exp \
	case/targs1_julia.jl-Y-T1--var-backend.in \
	case/targs1_ocaml.ml-O-T0--var-backend.exp \
	case/targs1_ocaml.ml-O-T0--var-backend.in \
	case/targs1_ocaml.ml-O-T1--var-backend.exp \
	case/targs1_ocaml.ml-O-T1--var-backend.in \
	case/targs1_ruby.rb-R-F0--var-backend.exp \
	case/targs1_ruby.rb-R-F0--var-backend.in \
	case/targs1_ruby.rb-R-T1--var-backend.exp \
	case/targs1_ruby.rb-R-T1--var-backend.in \
	case/tofrom2.c-C-F0--goto-backend.exp \
	case/tofrom2.c-C-F0--goto-backend.in \
	case/tofrom2.c-C-F1--goto-backend.exp \
	case/tofrom2.c-C-F1--goto-backend.in \
	case/tofrom2.c-C-G1--goto-backend.exp \
	case/tofrom2.c-C-G1--goto-backend.in \
	case/tofrom2.c-C-T0--goto-backend.exp \
	case/tofrom2.c-C-T0--goto-backend.in \
	case/tofrom2.c-C-T0--var-backend.exp \
	case/tofrom2.c-C-T0--var-backend.in \
	case/union.cpp-C-F1--goto-backend.exp \
	case/union.cpp-C-F1--goto-backend.in \
	case/union.cpp-C-F1--var-backend.exp \
	case/union.cpp-C-F1--var-backend.in \
	case/union.cpp-C-T0--goto-backend.exp \
	case/union.cpp-C-T0--goto-backend.in \
	case/union.cpp-C-T1--goto-backend.exp \
	case/union.cpp-C-T1--goto-backend.in

CLEANFILES = rlhc.c

clean-local:
	rm -Rf working
	if test '$(builddir)' != '$(srcdir)'; then \
		rm -Rf case; \
		rm -f gentests; \
	fi

check-local:
	if test '$(builddir)' != '$(srcdir)'; then \
		$(LN_S) -f '$(srcdir)/gentests' '$(srcdir)/case' '$(builddir)'; \
	fi
	'$(top_srcdir)/test/runtests'