Commit b082afa2 authored by thoughtpolice's avatar thoughtpolice

Add a regression test (see #7953)

Signed-off-by: thoughtpolice's avatarAustin Seipp <aseipp@pobox.com>
parent 6d4bf548
module Main (main) where
import Control.Monad
import System.IO
import System.Random
main :: IO ()
main = do
hSetBuffering stdout NoBuffering
let q = fold $ zip [1..] (take 200 [500.0,400.0..])
print q
putStrLn "Before atMost"
let (xs,q') = atMost 0.5 q -- this causes seqfault with -O2
print xs
print q'
putStrLn "After atMost"
fold :: [(Key, Prio)] -> PSQ
fold [] = Void
fold ((u,r):xs) = insert u r $ fold xs
data Elem = E
{ _key :: Key
, prio :: Prio
} deriving (Eq, Show)
type Prio = Double
type Key = Int
data PSQ = Void
| Winner Elem Tree
deriving (Eq, Show)
singleton :: Key -> Prio -> PSQ
singleton k p = Winner (E k p) Start
insert :: Key -> Prio -> PSQ -> PSQ
insert k p q = case q of
Void -> singleton k p
Winner e t -> Winner (E k p) (Fork e Start t)
atMost :: Prio -> PSQ -> ([Elem], PSQ)
atMost pt q = case q of
(Winner e _)
| prio e > pt -> ([], q)
Void -> ([], Void)
Winner e Start -> ([e], Void)
Winner e (Fork e' tl tr) ->
let (sequ, q') = atMost pt (Winner e' tl)
(sequ', q'') = atMost pt (Winner e tr)
in (sequ ++ sequ', q' `play` q'')
data Tree = Start
| Fork Elem Tree Tree
deriving (Eq, Show)
lloser :: Key -> Prio -> Tree -> Tree -> Tree
lloser k p tl tr = Fork (E k p) tl tr
play :: PSQ -> PSQ -> PSQ
Void `play` t' = t'
t `play` Void = t
Winner e@(E k p) t `play` Winner e'@(E k' p') t'
| p <= p' = Winner e (lloser k' p' t t')
| otherwise = Winner e' (lloser k p t t')
Winner (E {_key = 1, prio = 500.0}) (Fork (E {_key = 2, prio = 400.0}) Start (Fork (E {_key = 3, prio = 300.0}) Start (Fork (E {_key = 4, prio = 200.0}) Start (Fork (E {_key = 5, prio = 100.0}) Start (Fork (E {_key = 6, prio = 0.0}) Start (Fork (E {_key = 7, prio = -100.0}) Start (Fork (E {_key = 8, prio = -200.0}) Start (Fork (E {_key = 9, prio = -300.0}) Start (Fork (E {_key = 10, prio = -400.0}) Start (Fork (E {_key = 11, prio = -500.0}) Start (Fork (E {_key = 12, prio = -600.0}) Start (Fork (E {_key = 13, prio = -700.0}) Start (Fork (E {_key = 14, prio = -800.0}) Start (Fork (E {_key = 15, prio = -900.0}) Start (Fork (E {_key = 16, prio = -1000.0}) Start (Fork (E {_key = 17, prio = -1100.0}) Start (Fork (E {_key = 18, prio = -1200.0}) Start (Fork (E {_key = 19, prio = -1300.0}) Start (Fork (E {_key = 20, prio = -1400.0}) Start (Fork (E {_key = 21, prio = -1500.0}) Start (Fork (E {_key = 22, prio = -1600.0}) Start (Fork (E {_key = 23, prio = -1700.0}) Start (Fork (E {_key = 24, prio = -1800.0}) Start (Fork (E {_key = 25, prio = -1900.0}) Start (Fork (E {_key = 26, prio = -2000.0}) Start (Fork (E {_key = 27, prio = -2100.0}) Start (Fork (E {_key = 28, prio = -2200.0}) Start (Fork (E {_key = 29, prio = -2300.0}) Start (Fork (E {_key = 30, prio = -2400.0}) Start (Fork (E {_key = 31, prio = -2500.0}) Start (Fork (E {_key = 32, prio = -2600.0}) Start (Fork (E {_key = 33, prio = -2700.0}) Start (Fork (E {_key = 34, prio = -2800.0}) Start (Fork (E {_key = 35, prio = -2900.0}) Start (Fork (E {_key = 36, prio = -3000.0}) Start (Fork (E {_key = 37, prio = -3100.0}) Start (Fork (E {_key = 38, prio = -3200.0}) Start (Fork (E {_key = 39, prio = -3300.0}) Start (Fork (E {_key = 40, prio = -3400.0}) Start (Fork (E {_key = 41, prio = -3500.0}) Start (Fork (E {_key = 42, prio = -3600.0}) Start (Fork (E {_key = 43, prio = -3700.0}) Start (Fork (E {_key = 44, prio = -3800.0}) Start (Fork (E {_key = 45, prio = -3900.0}) Start (Fork (E {_key = 46, prio = -4000.0}) Start (Fork (E {_key = 47, prio = -4100.0}) Start (Fork (E {_key = 48, prio = -4200.0}) Start (Fork (E {_key = 49, prio = -4300.0}) Start (Fork (E {_key = 50, prio = -4400.0}) Start (Fork (E {_key = 51, prio = -4500.0}) Start (Fork (E {_key = 52, prio = -4600.0}) Start (Fork (E {_key = 53, prio = -4700.0}) Start (Fork (E {_key = 54, prio = -4800.0}) Start (Fork (E {_key = 55, prio = -4900.0}) Start (Fork (E {_key = 56, prio = -5000.0}) Start (Fork (E {_key = 57, prio = -5100.0}) Start (Fork (E {_key = 58, prio = -5200.0}) Start (Fork (E {_key = 59, prio = -5300.0}) Start (Fork (E {_key = 60, prio = -5400.0}) Start (Fork (E {_key = 61, prio = -5500.0}) Start (Fork (E {_key = 62, prio = -5600.0}) Start (Fork (E {_key = 63, prio = -5700.0}) Start (Fork (E {_key = 64, prio = -5800.0}) Start (Fork (E {_key = 65, prio = -5900.0}) Start (Fork (E {_key = 66, prio = -6000.0}) Start (Fork (E {_key = 67, prio = -6100.0}) Start (Fork (E {_key = 68, prio = -6200.0}) Start (Fork (E {_key = 69, prio = -6300.0}) Start (Fork (E {_key = 70, prio = -6400.0}) Start (Fork (E {_key = 71, prio = -6500.0}) Start (Fork (E {_key = 72, prio = -6600.0}) Start (Fork (E {_key = 73, prio = -6700.0}) Start (Fork (E {_key = 74, prio = -6800.0}) Start (Fork (E {_key = 75, prio = -6900.0}) Start (Fork (E {_key = 76, prio = -7000.0}) Start (Fork (E {_key = 77, prio = -7100.0}) Start (Fork (E {_key = 78, prio = -7200.0}) Start (Fork (E {_key = 79, prio = -7300.0}) Start (Fork (E {_key = 80, prio = -7400.0}) Start (Fork (E {_key = 81, prio = -7500.0}) Start (Fork (E {_key = 82, prio = -7600.0}) Start (Fork (E {_key = 83, prio = -7700.0}) Start (Fork (E {_key = 84, prio = -7800.0}) Start (Fork (E {_key = 85, prio = -7900.0}) Start (Fork (E {_key = 86, prio = -8000.0}) Start (Fork (E {_key = 87, prio = -8100.0}) Start (Fork (E {_key = 88, prio = -8200.0}) Start (Fork (E {_key = 89, prio = -8300.0}) Start (Fork (E {_key = 90, prio = -8400.0}) Start (Fork (E {_key = 91, prio = -8500.0}) Start (Fork (E {_key = 92, prio = -8600.0}) Start (Fork (E {_key = 93, prio = -8700.0}) Start (Fork (E {_key = 94, prio = -8800.0}) Start (Fork (E {_key = 95, prio = -8900.0}) Start (Fork (E {_key = 96, prio = -9000.0}) Start (Fork (E {_key = 97, prio = -9100.0}) Start (Fork (E {_key = 98, prio = -9200.0}) Start (Fork (E {_key = 99, prio = -9300.0}) Start (Fork (E {_key = 100, prio = -9400.0}) Start (Fork (E {_key = 101, prio = -9500.0}) Start (Fork (E {_key = 102, prio = -9600.0}) Start (Fork (E {_key = 103, prio = -9700.0}) Start (Fork (E {_key = 104, prio = -9800.0}) Start (Fork (E {_key = 105, prio = -9900.0}) Start (Fork (E {_key = 106, prio = -10000.0}) Start (Fork (E {_key = 107, prio = -10100.0}) Start (Fork (E {_key = 108, prio = -10200.0}) Start (Fork (E {_key = 109, prio = -10300.0}) Start (Fork (E {_key = 110, prio = -10400.0}) Start (Fork (E {_key = 111, prio = -10500.0}) Start (Fork (E {_key = 112, prio = -10600.0}) Start (Fork (E {_key = 113, prio = -10700.0}) Start (Fork (E {_key = 114, prio = -10800.0}) Start (Fork (E {_key = 115, prio = -10900.0}) Start (Fork (E {_key = 116, prio = -11000.0}) Start (Fork (E {_key = 117, prio = -11100.0}) Start (Fork (E {_key = 118, prio = -11200.0}) Start (Fork (E {_key = 119, prio = -11300.0}) Start (Fork (E {_key = 120, prio = -11400.0}) Start (Fork (E {_key = 121, prio = -11500.0}) Start (Fork (E {_key = 122, prio = -11600.0}) Start (Fork (E {_key = 123, prio = -11700.0}) Start (Fork (E {_key = 124, prio = -11800.0}) Start (Fork (E {_key = 125, prio = -11900.0}) Start (Fork (E {_key = 126, prio = -12000.0}) Start (Fork (E {_key = 127, prio = -12100.0}) Start (Fork (E {_key = 128, prio = -12200.0}) Start (Fork (E {_key = 129, prio = -12300.0}) Start (Fork (E {_key = 130, prio = -12400.0}) Start (Fork (E {_key = 131, prio = -12500.0}) Start (Fork (E {_key = 132, prio = -12600.0}) Start (Fork (E {_key = 133, prio = -12700.0}) Start (Fork (E {_key = 134, prio = -12800.0}) Start (Fork (E {_key = 135, prio = -12900.0}) Start (Fork (E {_key = 136, prio = -13000.0}) Start (Fork (E {_key = 137, prio = -13100.0}) Start (Fork (E {_key = 138, prio = -13200.0}) Start (Fork (E {_key = 139, prio = -13300.0}) Start (Fork (E {_key = 140, prio = -13400.0}) Start (Fork (E {_key = 141, prio = -13500.0}) Start (Fork (E {_key = 142, prio = -13600.0}) Start (Fork (E {_key = 143, prio = -13700.0}) Start (Fork (E {_key = 144, prio = -13800.0}) Start (Fork (E {_key = 145, prio = -13900.0}) Start (Fork (E {_key = 146, prio = -14000.0}) Start (Fork (E {_key = 147, prio = -14100.0}) Start (Fork (E {_key = 148, prio = -14200.0}) Start (Fork (E {_key = 149, prio = -14300.0}) Start (Fork (E {_key = 150, prio = -14400.0}) Start (Fork (E {_key = 151, prio = -14500.0}) Start (Fork (E {_key = 152, prio = -14600.0}) Start (Fork (E {_key = 153, prio = -14700.0}) Start (Fork (E {_key = 154, prio = -14800.0}) Start (Fork (E {_key = 155, prio = -14900.0}) Start (Fork (E {_key = 156, prio = -15000.0}) Start (Fork (E {_key = 157, prio = -15100.0}) Start (Fork (E {_key = 158, prio = -15200.0}) Start (Fork (E {_key = 159, prio = -15300.0}) Start (Fork (E {_key = 160, prio = -15400.0}) Start (Fork (E {_key = 161, prio = -15500.0}) Start (Fork (E {_key = 162, prio = -15600.0}) Start (Fork (E {_key = 163, prio = -15700.0}) Start (Fork (E {_key = 164, prio = -15800.0}) Start (Fork (E {_key = 165, prio = -15900.0}) Start (Fork (E {_key = 166, prio = -16000.0}) Start (Fork (E {_key = 167, prio = -16100.0}) Start (Fork (E {_key = 168, prio = -16200.0}) Start (Fork (E {_key = 169, prio = -16300.0}) Start (Fork (E {_key = 170, prio = -16400.0}) Start (Fork (E {_key = 171, prio = -16500.0}) Start (Fork (E {_key = 172, prio = -16600.0}) Start (Fork (E {_key = 173, prio = -16700.0}) Start (Fork (E {_key = 174, prio = -16800.0}) Start (Fork (E {_key = 175, prio = -16900.0}) Start (Fork (E {_key = 176, prio = -17000.0}) Start (Fork (E {_key = 177, prio = -17100.0}) Start (Fork (E {_key = 178, prio = -17200.0}) Start (Fork (E {_key = 179, prio = -17300.0}) Start (Fork (E {_key = 180, prio = -17400.0}) Start (Fork (E {_key = 181, prio = -17500.0}) Start (Fork (E {_key = 182, prio = -17600.0}) Start (Fork (E {_key = 183, prio = -17700.0}) Start (Fork (E {_key = 184, prio = -17800.0}) Start (Fork (E {_key = 185, prio = -17900.0}) Start (Fork (E {_key = 186, prio = -18000.0}) Start (Fork (E {_key = 187, prio = -18100.0}) Start (Fork (E {_key = 188, prio = -18200.0}) Start (Fork (E {_key = 189, prio = -18300.0}) Start (Fork (E {_key = 190, prio = -18400.0}) Start (Fork (E {_key = 191, prio = -18500.0}) Start (Fork (E {_key = 192, prio = -18600.0}) Start (Fork (E {_key = 193, prio = -18700.0}) Start (Fork (E {_key = 194, prio = -18800.0}) Start (Fork (E {_key = 195, prio = -18900.0}) Start (Fork (E {_key = 196, prio = -19000.0}) Start (Fork (E {_key = 197, prio = -19100.0}) Start (Fork (E {_key = 198, prio = -19200.0}) Start (Fork (E {_key = 199, prio = -19300.0}) Start (Fork (E {_key = 200, prio = -19400.0}) Start Start)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
Before atMost
[]
Winner (E {_key = 1, prio = 500.0}) (Fork (E {_key = 2, prio = 400.0}) Start (Fork (E {_key = 3, prio = 300.0}) Start (Fork (E {_key = 4, prio = 200.0}) Start (Fork (E {_key = 5, prio = 100.0}) Start (Fork (E {_key = 6, prio = 0.0}) Start (Fork (E {_key = 7, prio = -100.0}) Start (Fork (E {_key = 8, prio = -200.0}) Start (Fork (E {_key = 9, prio = -300.0}) Start (Fork (E {_key = 10, prio = -400.0}) Start (Fork (E {_key = 11, prio = -500.0}) Start (Fork (E {_key = 12, prio = -600.0}) Start (Fork (E {_key = 13, prio = -700.0}) Start (Fork (E {_key = 14, prio = -800.0}) Start (Fork (E {_key = 15, prio = -900.0}) Start (Fork (E {_key = 16, prio = -1000.0}) Start (Fork (E {_key = 17, prio = -1100.0}) Start (Fork (E {_key = 18, prio = -1200.0}) Start (Fork (E {_key = 19, prio = -1300.0}) Start (Fork (E {_key = 20, prio = -1400.0}) Start (Fork (E {_key = 21, prio = -1500.0}) Start (Fork (E {_key = 22, prio = -1600.0}) Start (Fork (E {_key = 23, prio = -1700.0}) Start (Fork (E {_key = 24, prio = -1800.0}) Start (Fork (E {_key = 25, prio = -1900.0}) Start (Fork (E {_key = 26, prio = -2000.0}) Start (Fork (E {_key = 27, prio = -2100.0}) Start (Fork (E {_key = 28, prio = -2200.0}) Start (Fork (E {_key = 29, prio = -2300.0}) Start (Fork (E {_key = 30, prio = -2400.0}) Start (Fork (E {_key = 31, prio = -2500.0}) Start (Fork (E {_key = 32, prio = -2600.0}) Start (Fork (E {_key = 33, prio = -2700.0}) Start (Fork (E {_key = 34, prio = -2800.0}) Start (Fork (E {_key = 35, prio = -2900.0}) Start (Fork (E {_key = 36, prio = -3000.0}) Start (Fork (E {_key = 37, prio = -3100.0}) Start (Fork (E {_key = 38, prio = -3200.0}) Start (Fork (E {_key = 39, prio = -3300.0}) Start (Fork (E {_key = 40, prio = -3400.0}) Start (Fork (E {_key = 41, prio = -3500.0}) Start (Fork (E {_key = 42, prio = -3600.0}) Start (Fork (E {_key = 43, prio = -3700.0}) Start (Fork (E {_key = 44, prio = -3800.0}) Start (Fork (E {_key = 45, prio = -3900.0}) Start (Fork (E {_key = 46, prio = -4000.0}) Start (Fork (E {_key = 47, prio = -4100.0}) Start (Fork (E {_key = 48, prio = -4200.0}) Start (Fork (E {_key = 49, prio = -4300.0}) Start (Fork (E {_key = 50, prio = -4400.0}) Start (Fork (E {_key = 51, prio = -4500.0}) Start (Fork (E {_key = 52, prio = -4600.0}) Start (Fork (E {_key = 53, prio = -4700.0}) Start (Fork (E {_key = 54, prio = -4800.0}) Start (Fork (E {_key = 55, prio = -4900.0}) Start (Fork (E {_key = 56, prio = -5000.0}) Start (Fork (E {_key = 57, prio = -5100.0}) Start (Fork (E {_key = 58, prio = -5200.0}) Start (Fork (E {_key = 59, prio = -5300.0}) Start (Fork (E {_key = 60, prio = -5400.0}) Start (Fork (E {_key = 61, prio = -5500.0}) Start (Fork (E {_key = 62, prio = -5600.0}) Start (Fork (E {_key = 63, prio = -5700.0}) Start (Fork (E {_key = 64, prio = -5800.0}) Start (Fork (E {_key = 65, prio = -5900.0}) Start (Fork (E {_key = 66, prio = -6000.0}) Start (Fork (E {_key = 67, prio = -6100.0}) Start (Fork (E {_key = 68, prio = -6200.0}) Start (Fork (E {_key = 69, prio = -6300.0}) Start (Fork (E {_key = 70, prio = -6400.0}) Start (Fork (E {_key = 71, prio = -6500.0}) Start (Fork (E {_key = 72, prio = -6600.0}) Start (Fork (E {_key = 73, prio = -6700.0}) Start (Fork (E {_key = 74, prio = -6800.0}) Start (Fork (E {_key = 75, prio = -6900.0}) Start (Fork (E {_key = 76, prio = -7000.0}) Start (Fork (E {_key = 77, prio = -7100.0}) Start (Fork (E {_key = 78, prio = -7200.0}) Start (Fork (E {_key = 79, prio = -7300.0}) Start (Fork (E {_key = 80, prio = -7400.0}) Start (Fork (E {_key = 81, prio = -7500.0}) Start (Fork (E {_key = 82, prio = -7600.0}) Start (Fork (E {_key = 83, prio = -7700.0}) Start (Fork (E {_key = 84, prio = -7800.0}) Start (Fork (E {_key = 85, prio = -7900.0}) Start (Fork (E {_key = 86, prio = -8000.0}) Start (Fork (E {_key = 87, prio = -8100.0}) Start (Fork (E {_key = 88, prio = -8200.0}) Start (Fork (E {_key = 89, prio = -8300.0}) Start (Fork (E {_key = 90, prio = -8400.0}) Start (Fork (E {_key = 91, prio = -8500.0}) Start (Fork (E {_key = 92, prio = -8600.0}) Start (Fork (E {_key = 93, prio = -8700.0}) Start (Fork (E {_key = 94, prio = -8800.0}) Start (Fork (E {_key = 95, prio = -8900.0}) Start (Fork (E {_key = 96, prio = -9000.0}) Start (Fork (E {_key = 97, prio = -9100.0}) Start (Fork (E {_key = 98, prio = -9200.0}) Start (Fork (E {_key = 99, prio = -9300.0}) Start (Fork (E {_key = 100, prio = -9400.0}) Start (Fork (E {_key = 101, prio = -9500.0}) Start (Fork (E {_key = 102, prio = -9600.0}) Start (Fork (E {_key = 103, prio = -9700.0}) Start (Fork (E {_key = 104, prio = -9800.0}) Start (Fork (E {_key = 105, prio = -9900.0}) Start (Fork (E {_key = 106, prio = -10000.0}) Start (Fork (E {_key = 107, prio = -10100.0}) Start (Fork (E {_key = 108, prio = -10200.0}) Start (Fork (E {_key = 109, prio = -10300.0}) Start (Fork (E {_key = 110, prio = -10400.0}) Start (Fork (E {_key = 111, prio = -10500.0}) Start (Fork (E {_key = 112, prio = -10600.0}) Start (Fork (E {_key = 113, prio = -10700.0}) Start (Fork (E {_key = 114, prio = -10800.0}) Start (Fork (E {_key = 115, prio = -10900.0}) Start (Fork (E {_key = 116, prio = -11000.0}) Start (Fork (E {_key = 117, prio = -11100.0}) Start (Fork (E {_key = 118, prio = -11200.0}) Start (Fork (E {_key = 119, prio = -11300.0}) Start (Fork (E {_key = 120, prio = -11400.0}) Start (Fork (E {_key = 121, prio = -11500.0}) Start (Fork (E {_key = 122, prio = -11600.0}) Start (Fork (E {_key = 123, prio = -11700.0}) Start (Fork (E {_key = 124, prio = -11800.0}) Start (Fork (E {_key = 125, prio = -11900.0}) Start (Fork (E {_key = 126, prio = -12000.0}) Start (Fork (E {_key = 127, prio = -12100.0}) Start (Fork (E {_key = 128, prio = -12200.0}) Start (Fork (E {_key = 129, prio = -12300.0}) Start (Fork (E {_key = 130, prio = -12400.0}) Start (Fork (E {_key = 131, prio = -12500.0}) Start (Fork (E {_key = 132, prio = -12600.0}) Start (Fork (E {_key = 133, prio = -12700.0}) Start (Fork (E {_key = 134, prio = -12800.0}) Start (Fork (E {_key = 135, prio = -12900.0}) Start (Fork (E {_key = 136, prio = -13000.0}) Start (Fork (E {_key = 137, prio = -13100.0}) Start (Fork (E {_key = 138, prio = -13200.0}) Start (Fork (E {_key = 139, prio = -13300.0}) Start (Fork (E {_key = 140, prio = -13400.0}) Start (Fork (E {_key = 141, prio = -13500.0}) Start (Fork (E {_key = 142, prio = -13600.0}) Start (Fork (E {_key = 143, prio = -13700.0}) Start (Fork (E {_key = 144, prio = -13800.0}) Start (Fork (E {_key = 145, prio = -13900.0}) Start (Fork (E {_key = 146, prio = -14000.0}) Start (Fork (E {_key = 147, prio = -14100.0}) Start (Fork (E {_key = 148, prio = -14200.0}) Start (Fork (E {_key = 149, prio = -14300.0}) Start (Fork (E {_key = 150, prio = -14400.0}) Start (Fork (E {_key = 151, prio = -14500.0}) Start (Fork (E {_key = 152, prio = -14600.0}) Start (Fork (E {_key = 153, prio = -14700.0}) Start (Fork (E {_key = 154, prio = -14800.0}) Start (Fork (E {_key = 155, prio = -14900.0}) Start (Fork (E {_key = 156, prio = -15000.0}) Start (Fork (E {_key = 157, prio = -15100.0}) Start (Fork (E {_key = 158, prio = -15200.0}) Start (Fork (E {_key = 159, prio = -15300.0}) Start (Fork (E {_key = 160, prio = -15400.0}) Start (Fork (E {_key = 161, prio = -15500.0}) Start (Fork (E {_key = 162, prio = -15600.0}) Start (Fork (E {_key = 163, prio = -15700.0}) Start (Fork (E {_key = 164, prio = -15800.0}) Start (Fork (E {_key = 165, prio = -15900.0}) Start (Fork (E {_key = 166, prio = -16000.0}) Start (Fork (E {_key = 167, prio = -16100.0}) Start (Fork (E {_key = 168, prio = -16200.0}) Start (Fork (E {_key = 169, prio = -16300.0}) Start (Fork (E {_key = 170, prio = -16400.0}) Start (Fork (E {_key = 171, prio = -16500.0}) Start (Fork (E {_key = 172, prio = -16600.0}) Start (Fork (E {_key = 173, prio = -16700.0}) Start (Fork (E {_key = 174, prio = -16800.0}) Start (Fork (E {_key = 175, prio = -16900.0}) Start (Fork (E {_key = 176, prio = -17000.0}) Start (Fork (E {_key = 177, prio = -17100.0}) Start (Fork (E {_key = 178, prio = -17200.0}) Start (Fork (E {_key = 179, prio = -17300.0}) Start (Fork (E {_key = 180, prio = -17400.0}) Start (Fork (E {_key = 181, prio = -17500.0}) Start (Fork (E {_key = 182, prio = -17600.0}) Start (Fork (E {_key = 183, prio = -17700.0}) Start (Fork (E {_key = 184, prio = -17800.0}) Start (Fork (E {_key = 185, prio = -17900.0}) Start (Fork (E {_key = 186, prio = -18000.0}) Start (Fork (E {_key = 187, prio = -18100.0}) Start (Fork (E {_key = 188, prio = -18200.0}) Start (Fork (E {_key = 189, prio = -18300.0}) Start (Fork (E {_key = 190, prio = -18400.0}) Start (Fork (E {_key = 191, prio = -18500.0}) Start (Fork (E {_key = 192, prio = -18600.0}) Start (Fork (E {_key = 193, prio = -18700.0}) Start (Fork (E {_key = 194, prio = -18800.0}) Start (Fork (E {_key = 195, prio = -18900.0}) Start (Fork (E {_key = 196, prio = -19000.0}) Start (Fork (E {_key = 197, prio = -19100.0}) Start (Fork (E {_key = 198, prio = -19200.0}) Start (Fork (E {_key = 199, prio = -19300.0}) Start (Fork (E {_key = 200, prio = -19400.0}) Start Start)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
After atMost
......@@ -113,3 +113,4 @@ test('Word2Float64', unless(wordsize(64), skip), compile_and_run, [''])
test('T7361', normal, compile_and_run, [''])
test('T7600', normal, compile_and_run, [''])
test('T8103', only_ways(['normal']), compile_and_run, [''])
test('T7953', normal, compile_and_run, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment