Haizea

def get_config():

    c = load_configfile("base_config_simulator.conf")

    c.set("scheduling", "policy-preemption", "deadline")

    c.set("scheduling", "suspension", "all")

    return c

    verify_done(h, [1,2,3])

def test_deadline9_2():

    h = load_tracefile(c, "deadline9.lwf")

    h.start()       

    verify_done(h, [1,2,3])      

def test_deadline10_1():

    c = get_config()

    h = load_tracefile(c, "deadline10-1.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_2():

    h = load_tracefile(c, "deadline10-2.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_3():

    h = load_tracefile(c, "deadline10-3.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_4():

    c = get_config()

    h = load_tracefile(c, "deadline10-4.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_5():

    c = get_config()

    h = load_tracefile(c, "deadline10-5.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_6():

    c = get_config()

    h = load_tracefile(c, "deadline10-6.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_7():

    c = get_config()

    h = load_tracefile(c, "deadline10-7.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_8():

    h = load_tracefile(c, "deadline10-8.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_9():

    h = load_tracefile(c, "deadline10-9.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_10():

    h = load_tracefile(c, "deadline10-10.lwf")

    h.start()       

    verify_done([1,2,3])

def test_deadline10_11():

    c = get_config()

    h = load_tracefile(c, "deadline10-11.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline10_12():

    h = load_tracefile(c, "deadline10-12.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline11_1():

    h = load_tracefile(c, "deadline11-1.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline11_2():

    h = load_tracefile(c, "deadline11-2.lwf")

    h.start()       

    verify_done(h, [1,2,3])

def test_deadline12():

    c = get_config()

    h = load_tracefile(c, "deadline12.lwf")

    h.start()       

    verify_done(h, [1,2,3,4,5,6,7,8])

def test_deadline13():

    h = load_tracefile(c, "deadline13.lwf")

    h.start()       

    verify_done(h, [1,2,3])        

def test_deadline14():

    c = get_config()

    h = load_tracefile(c, "deadline14.lwf")

    h.start()       

    verify_done(h, [1,2,3])            

def test_deadline15():

    c = get_config()

    h = load_tracefile(c, "deadline15.lwf")

    h.start()       

    verify_done(h, [1,2,3])            

def test_deadline16():

    c = get_config()

    h = load_tracefile(c, "deadline16.lwf")

    h.start()

    verify_done(h, [1,2,3,4,5,6])