runtimeverification
diff --git a/‎test/regression-evm-semantics-39dd1e5/Makefile renamed to ‎test/regression-evm/Makefile b/‎test/regression-evm-semantics-39dd1e5/Makefile renamed to ‎test/regression-evm/Makefile
diff --git a/‎test/regression-evm-semantics-39dd1e5/generate.sh renamed to ‎test/regression-evm/generate.sh b/‎test/regression-evm-semantics-39dd1e5/generate.sh renamed to ‎test/regression-evm/generate.sh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-add0-definition.kore renamed to ‎test/regression-evm/test-add0-definition.kore b/‎test/regression-evm-semantics-39dd1e5/test-add0-definition.kore renamed to ‎test/regression-evm/test-add0-definition.kore
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-add0-tmp.in.GYhmR347rd renamed to ‎test/regression-evm/test-add0-tmp.in.GYhmR347rd b/‎test/regression-evm-semantics-39dd1e5/test-add0-tmp.in.GYhmR347rd renamed to ‎test/regression-evm/test-add0-tmp.in.GYhmR347rd
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-add0.sh renamed to ‎test/regression-evm/test-add0.sh b/‎test/regression-evm-semantics-39dd1e5/test-add0.sh renamed to ‎test/regression-evm/test-add0.sh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-add0.sh.out.golden renamed to ‎test/regression-evm/test-add0.sh.out.golden b/‎test/regression-evm-semantics-39dd1e5/test-add0.sh.out.golden renamed to ‎test/regression-evm/test-add0.sh.out.golden
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid-definition.kore renamed to ‎test/regression-evm/test-branching-invalid-definition.kore b/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid-definition.kore renamed to ‎test/regression-evm/test-branching-invalid-definition.kore
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid-tmp.in.Ze5nxxYPlh renamed to ‎test/regression-evm/test-branching-invalid-tmp.in.Ze5nxxYPlh b/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid-tmp.in.Ze5nxxYPlh renamed to ‎test/regression-evm/test-branching-invalid-tmp.in.Ze5nxxYPlh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid-tmp.pattern.ctPQwyqL2I renamed to ‎test/regression-evm/test-branching-invalid-tmp.pattern.ctPQwyqL2I b/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid-tmp.pattern.ctPQwyqL2I renamed to ‎test/regression-evm/test-branching-invalid-tmp.pattern.ctPQwyqL2I
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid.sh renamed to ‎test/regression-evm/test-branching-invalid.sh b/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid.sh renamed to ‎test/regression-evm/test-branching-invalid.sh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid.sh.out.golden renamed to ‎test/regression-evm/test-branching-invalid.sh.out.golden b/‎test/regression-evm-semantics-39dd1e5/test-branching-invalid.sh.out.golden renamed to ‎test/regression-evm/test-branching-invalid.sh.out.golden
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid-definition.kore renamed to ‎test/regression-evm/test-branching-no-invalid-definition.kore b/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid-definition.kore renamed to ‎test/regression-evm/test-branching-no-invalid-definition.kore
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid-tmp.in.AqFrGSLOYi renamed to ‎test/regression-evm/test-branching-no-invalid-tmp.in.AqFrGSLOYi b/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid-tmp.in.AqFrGSLOYi renamed to ‎test/regression-evm/test-branching-no-invalid-tmp.in.AqFrGSLOYi
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid-tmp.pattern.DrQj1DpTm9 renamed to ‎test/regression-evm/test-branching-no-invalid-tmp.pattern.DrQj1DpTm9 b/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid-tmp.pattern.DrQj1DpTm9 renamed to ‎test/regression-evm/test-branching-no-invalid-tmp.pattern.DrQj1DpTm9
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid.sh renamed to ‎test/regression-evm/test-branching-no-invalid.sh b/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid.sh renamed to ‎test/regression-evm/test-branching-no-invalid.sh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid.sh.out.golden renamed to ‎test/regression-evm/test-branching-no-invalid.sh.out.golden b/‎test/regression-evm-semantics-39dd1e5/test-branching-no-invalid.sh.out.golden renamed to ‎test/regression-evm/test-branching-no-invalid.sh.out.golden
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-pop1-definition.kore renamed to ‎test/regression-evm/test-pop1-definition.kore b/‎test/regression-evm-semantics-39dd1e5/test-pop1-definition.kore renamed to ‎test/regression-evm/test-pop1-definition.kore
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-pop1-tmp.in.VEBVtVuugO renamed to ‎test/regression-evm/test-pop1-tmp.in.VEBVtVuugO b/‎test/regression-evm-semantics-39dd1e5/test-pop1-tmp.in.VEBVtVuugO renamed to ‎test/regression-evm/test-pop1-tmp.in.VEBVtVuugO
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-pop1.sh renamed to ‎test/regression-evm/test-pop1.sh b/‎test/regression-evm-semantics-39dd1e5/test-pop1.sh renamed to ‎test/regression-evm/test-pop1.sh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-pop1.sh.out.golden renamed to ‎test/regression-evm/test-pop1.sh.out.golden b/‎test/regression-evm-semantics-39dd1e5/test-pop1.sh.out.golden renamed to ‎test/regression-evm/test-pop1.sh.out.golden
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line-definition.kore renamed to ‎test/regression-evm/test-straight-line-definition.kore b/‎test/regression-evm-semantics-39dd1e5/test-straight-line-definition.kore renamed to ‎test/regression-evm/test-straight-line-definition.kore
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid-definition.kore renamed to ‎test/regression-evm/test-straight-line-no-invalid-definition.kore b/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid-definition.kore renamed to ‎test/regression-evm/test-straight-line-no-invalid-definition.kore
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid-tmp.in.ovi1wGZ4fl renamed to ‎test/regression-evm/test-straight-line-no-invalid-tmp.in.ovi1wGZ4fl b/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid-tmp.in.ovi1wGZ4fl renamed to ‎test/regression-evm/test-straight-line-no-invalid-tmp.in.ovi1wGZ4fl
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid-tmp.pattern.IJfMw5BKcR renamed to ‎test/regression-evm/test-straight-line-no-invalid-tmp.pattern.IJfMw5BKcR b/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid-tmp.pattern.IJfMw5BKcR renamed to ‎test/regression-evm/test-straight-line-no-invalid-tmp.pattern.IJfMw5BKcR
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid.sh renamed to ‎test/regression-evm/test-straight-line-no-invalid.sh b/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid.sh renamed to ‎test/regression-evm/test-straight-line-no-invalid.sh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid.sh.out.golden renamed to ‎test/regression-evm/test-straight-line-no-invalid.sh.out.golden b/‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid.sh.out.golden renamed to ‎test/regression-evm/test-straight-line-no-invalid.sh.out.golden
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line-tmp.in.r2k8sHoVKO renamed to ‎test/regression-evm/test-straight-line-tmp.in.r2k8sHoVKO b/‎test/regression-evm-semantics-39dd1e5/test-straight-line-tmp.in.r2k8sHoVKO renamed to ‎test/regression-evm/test-straight-line-tmp.in.r2k8sHoVKO
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line-tmp.pattern.rgLmeYW1YN renamed to ‎test/regression-evm/test-straight-line-tmp.pattern.rgLmeYW1YN b/‎test/regression-evm-semantics-39dd1e5/test-straight-line-tmp.pattern.rgLmeYW1YN renamed to ‎test/regression-evm/test-straight-line-tmp.pattern.rgLmeYW1YN
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line.sh renamed to ‎test/regression-evm/test-straight-line.sh b/‎test/regression-evm-semantics-39dd1e5/test-straight-line.sh renamed to ‎test/regression-evm/test-straight-line.sh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-straight-line.sh.out.golden renamed to ‎test/regression-evm/test-straight-line.sh.out.golden b/‎test/regression-evm-semantics-39dd1e5/test-straight-line.sh.out.golden renamed to ‎test/regression-evm/test-straight-line.sh.out.golden
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-sum-to-n-spec.kore renamed to ‎test/regression-evm/test-sum-to-n-spec.kore b/‎test/regression-evm-semantics-39dd1e5/test-sum-to-n-spec.kore renamed to ‎test/regression-evm/test-sum-to-n-spec.kore
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-sum-to-n-vdefinition.kore renamed to ‎test/regression-evm/test-sum-to-n-vdefinition.kore b/‎test/regression-evm-semantics-39dd1e5/test-sum-to-n-vdefinition.kore renamed to ‎test/regression-evm/test-sum-to-n-vdefinition.kore
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-sum-to-n.sh renamed to ‎test/regression-evm/test-sum-to-n.sh b/‎test/regression-evm-semantics-39dd1e5/test-sum-to-n.sh renamed to ‎test/regression-evm/test-sum-to-n.sh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-sum-to-n.sh.out.golden renamed to ‎test/regression-evm/test-sum-to-n.sh.out.golden b/‎test/regression-evm-semantics-39dd1e5/test-sum-to-n.sh.out.golden renamed to ‎test/regression-evm/test-sum-to-n.sh.out.golden
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-sumTo10-definition.kore renamed to ‎test/regression-evm/test-sumTo10-definition.kore b/‎test/regression-evm-semantics-39dd1e5/test-sumTo10-definition.kore renamed to ‎test/regression-evm/test-sumTo10-definition.kore
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-sumTo10-tmp.in.jmT5Cqnaa8 renamed to ‎test/regression-evm/test-sumTo10-tmp.in.jmT5Cqnaa8 b/‎test/regression-evm-semantics-39dd1e5/test-sumTo10-tmp.in.jmT5Cqnaa8 renamed to ‎test/regression-evm/test-sumTo10-tmp.in.jmT5Cqnaa8
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-sumTo10.sh renamed to ‎test/regression-evm/test-sumTo10.sh b/‎test/regression-evm-semantics-39dd1e5/test-sumTo10.sh renamed to ‎test/regression-evm/test-sumTo10.sh
diff --git a/‎test/regression-evm-semantics-39dd1e5/test-sumTo10.sh.out.golden renamed to ‎test/regression-evm/test-sumTo10.sh.out.golden b/‎test/regression-evm-semantics-39dd1e5/test-sumTo10.sh.out.golden renamed to ‎test/regression-evm/test-sumTo10.sh.out.golden