1 files changed, 153 insertions, 2 deletions
diff --git a/spec/outputs/cond.lua b/spec/outputs/cond.lua
index 651c14a..d7aae02 100644
--- a/spec/outputs/cond.lua
+++ b/spec/outputs/cond.lua
@@ -355,11 +355,162 @@ do
        local evaluation
        do
                local _cond_0 = v(2)
-                evaluation = v(1) < _cond_0 and _cond_0 <= v(3)
+                if not (v(1) < _cond_0) then
+                        evaluation = false
+                else
+                        evaluation = _cond_0 <= v(3)
+                end
+        end
+        do
+                local _cond_0 = v(2)
+                if not (v(1) > _cond_0) then
+                        evaluation = false
+                else
+                        evaluation = _cond_0 <= v(3)
+                end
        end
+end
+do
        do
                local _cond_0 = v(2)
-                evaluation = v(1) > _cond_0 and _cond_0 <= v(3)
+                if not (v(1) < _cond_0) then
+                        a = false
+                else
+                        local _cond_1 = v(3)
+                        if not (_cond_0 < _cond_1) then
+                                a = false
+                        else
+                                a = _cond_1 < v(4)
+                        end
+                end
        end
+        a = x and y or (function()
+                local _cond_0 = v(2)
+                if not (v(1) < _cond_0) then
+                        return false
+                else
+                        local _cond_1 = v(3)
+                        if not (_cond_0 < _cond_1) then
+                                return false
+                        else
+                                return _cond_1 < v(4)
+                        end
+                end
+        end)()
+        a = (function()
+                local _cond_0 = v(2)
+                if not (v(1) < _cond_0) then
+                        return false
+                else
+                        local _cond_1 = v(3)
+                        if not (_cond_0 < _cond_1) then
+                                return false
+                        else
+                                return _cond_1 < v(4)
+                        end
+                end
+        end)() or x and y
+        a = x and y or (function()
+                local _cond_0 = v(2)
+                if not (v(1) < _cond_0) then
+                        return false
+                else
+                        local _cond_1 = v(3)
+                        if not (_cond_0 < _cond_1) then
+                                return false
+                        else
+                                return _cond_1 < v(4)
+                        end
+                end
+        end)() or w and z
+        a = (function()
+                local _cond_0 = v(2)
+                if not (v(1) < _cond_0) then
+                        return false
+                else
+                        return _cond_0 < v(3)
+                end
+        end)() and (function()
+                local _cond_0 = v(4)
+                if not (b < _cond_0) then
+                        return false
+                else
+                        local _cond_1 = v(5)
+                        if not (_cond_0 < _cond_1) then
+                                return false
+                        else
+                                return _cond_1 < v(6)
+                        end
+                end
+        end)()
+        a = x and y or (function()
+                local _cond_0 = v(2)
+                if not (v(1) < _cond_0) then
+                        return false
+                else
+                        return _cond_0 < v(3)
+                end
+        end)() and (function()
+                local _cond_0 = v(4)
+                if not (b < _cond_0) then
+                        return false
+                else
+                        local _cond_1 = v(5)
+                        if not (_cond_0 < _cond_1) then
+                                return false
+                        else
+                                return _cond_1 < v(6)
+                        end
+                end
+        end)()
+        a = (function()
+                local _cond_0 = v(2)
+                if not (v(1) < _cond_0) then
+                        return false
+                else
+                        return _cond_0 < v(3)
+                end
+        end)() and (function()
+                local _cond_0 = v(4)
+                if not (b < _cond_0) then
+                        return false
+                else
+                        local _cond_1 = v(5)
+                        if not (_cond_0 < _cond_1) then
+                                return false
+                        else
+                                return _cond_1 < v(6)
+                        end
+                end
+        end)() or x and y
+        a = x and y or (function()
+                local _cond_0 = v(2)
+                if not (v(1) < _cond_0) then
+                        return false
+                else
+                        return _cond_0 < v(3)
+                end
+        end)() and (function()
+                local _cond_0 = v(4)
+                if not (b < _cond_0) then
+                        return false
+                else
+                        local _cond_1 = v(5)
+                        if not (_cond_0 < _cond_1) then
+                                return false
+                        else
+                                return _cond_1 < v(6)
+                        end
+                end
+        end)() or w and z
+        local v1, v2, v3, v4, v5, v6
+        a = v1 < v2 and v2 < v3 and v3 < v4
+        a = x and y or v1 < v2 and v2 < v3 and v3 < v4
+        a = v1 < v2 and v2 < v3 and v3 < v4 or x and y
+        a = x and y or v1 < v2 and v2 < v3 and v3 < v4 or w and z
+        a = v1 < v2 and v2 < v3 and b < v4 and v4 < v5 and v5 < v6
+        a = x and y or v1 < v2 and v2 < v3 and b < v4 and v4 < v5 and v5 < v6
+        a = v1 < v2 and v2 < v3 and b < v4 and v4 < v5 and v5 < v6 or x and y
+        a = x and y or v1 < v2 and v2 < v3 and b < v4 and v4 < v5 and v5 < v6 or w and z
 end
 return nil

diff --git a/spec/outputs/cond.lua b/spec/outputs/cond.lua index 651c14a..d7aae02 100644 --- a/spec/outputs/cond.lua +++ b/spec/outputs/cond.lua
@@ -355,11 +355,162 @@ do
355	local evaluation	355	local evaluation
356	do	356	do
357	local _cond_0 = v(2)	357	local _cond_0 = v(2)
358	evaluation = v(1) < _cond_0 and _cond_0 <= v(3)	358	if not (v(1) < _cond_0) then
		359	evaluation = false
		360	else
		361	evaluation = _cond_0 <= v(3)
		362	end
		363	end
		364	do
		365	local _cond_0 = v(2)
		366	if not (v(1) > _cond_0) then
		367	evaluation = false
		368	else
		369	evaluation = _cond_0 <= v(3)
		370	end
359	end	371	end
		372	end
		373	do
360	do	374	do
361	local _cond_0 = v(2)	375	local _cond_0 = v(2)
362	evaluation = v(1) > _cond_0 and _cond_0 <= v(3)	376	if not (v(1) < _cond_0) then
		377	a = false
		378	else
		379	local _cond_1 = v(3)
		380	if not (_cond_0 < _cond_1) then
		381	a = false
		382	else
		383	a = _cond_1 < v(4)
		384	end
		385	end
363	end	386	end
		387	a = x and y or (function()
		388	local _cond_0 = v(2)
		389	if not (v(1) < _cond_0) then
		390	return false
		391	else
		392	local _cond_1 = v(3)
		393	if not (_cond_0 < _cond_1) then
		394	return false
		395	else
		396	return _cond_1 < v(4)
		397	end
		398	end
		399	end)()
		400	a = (function()
		401	local _cond_0 = v(2)
		402	if not (v(1) < _cond_0) then
		403	return false
		404	else
		405	local _cond_1 = v(3)
		406	if not (_cond_0 < _cond_1) then
		407	return false
		408	else
		409	return _cond_1 < v(4)
		410	end
		411	end
		412	end)() or x and y
		413	a = x and y or (function()
		414	local _cond_0 = v(2)
		415	if not (v(1) < _cond_0) then
		416	return false
		417	else
		418	local _cond_1 = v(3)
		419	if not (_cond_0 < _cond_1) then
		420	return false
		421	else
		422	return _cond_1 < v(4)
		423	end
		424	end
		425	end)() or w and z
		426	a = (function()
		427	local _cond_0 = v(2)
		428	if not (v(1) < _cond_0) then
		429	return false
		430	else
		431	return _cond_0 < v(3)
		432	end
		433	end)() and (function()
		434	local _cond_0 = v(4)
		435	if not (b < _cond_0) then
		436	return false
		437	else
		438	local _cond_1 = v(5)
		439	if not (_cond_0 < _cond_1) then
		440	return false
		441	else
		442	return _cond_1 < v(6)
		443	end
		444	end
		445	end)()
		446	a = x and y or (function()
		447	local _cond_0 = v(2)
		448	if not (v(1) < _cond_0) then
		449	return false
		450	else
		451	return _cond_0 < v(3)
		452	end
		453	end)() and (function()
		454	local _cond_0 = v(4)
		455	if not (b < _cond_0) then
		456	return false
		457	else
		458	local _cond_1 = v(5)
		459	if not (_cond_0 < _cond_1) then
		460	return false
		461	else
		462	return _cond_1 < v(6)
		463	end
		464	end
		465	end)()
		466	a = (function()
		467	local _cond_0 = v(2)
		468	if not (v(1) < _cond_0) then
		469	return false
		470	else
		471	return _cond_0 < v(3)
		472	end
		473	end)() and (function()
		474	local _cond_0 = v(4)
		475	if not (b < _cond_0) then
		476	return false
		477	else
		478	local _cond_1 = v(5)
		479	if not (_cond_0 < _cond_1) then
		480	return false
		481	else
		482	return _cond_1 < v(6)
		483	end
		484	end
		485	end)() or x and y
		486	a = x and y or (function()
		487	local _cond_0 = v(2)
		488	if not (v(1) < _cond_0) then
		489	return false
		490	else
		491	return _cond_0 < v(3)
		492	end
		493	end)() and (function()
		494	local _cond_0 = v(4)
		495	if not (b < _cond_0) then
		496	return false
		497	else
		498	local _cond_1 = v(5)
		499	if not (_cond_0 < _cond_1) then
		500	return false
		501	else
		502	return _cond_1 < v(6)
		503	end
		504	end
		505	end)() or w and z
		506	local v1, v2, v3, v4, v5, v6
		507	a = v1 < v2 and v2 < v3 and v3 < v4
		508	a = x and y or v1 < v2 and v2 < v3 and v3 < v4
		509	a = v1 < v2 and v2 < v3 and v3 < v4 or x and y
		510	a = x and y or v1 < v2 and v2 < v3 and v3 < v4 or w and z
		511	a = v1 < v2 and v2 < v3 and b < v4 and v4 < v5 and v5 < v6
		512	a = x and y or v1 < v2 and v2 < v3 and b < v4 and v4 < v5 and v5 < v6
		513	a = v1 < v2 and v2 < v3 and b < v4 and v4 < v5 and v5 < v6 or x and y
		514	a = x and y or v1 < v2 and v2 < v3 and b < v4 and v4 < v5 and v5 < v6 or w and z
364	end	515	end
365	return nil	516	return nil