def test_large_forking(): n_processes = 100 generate_and_check_dag(checks=[check_all_floors], n_processes=n_processes, n_units=200, repetitions=1, forking=lambda: random.randint(0, n_processes))
def test_small_nonforking(): generate_and_check_dag( checks=[check_all_floors], n_processes=5, n_units=50, repetitions=30, )
def test_large_nonforking(): generate_and_check_dag( checks=[check_all_floors], n_processes=100, n_units=200, repetitions=1, )
def test_small_forking(): n_processes = 5 generate_and_check_dag(checks=[check_all_floors], n_processes=n_processes, n_units=50, repetitions=30, forking=lambda: random.randint(0, n_processes))
def test_large_nonforking_below(): generate_and_check_dag( checks=[check_all_levels], n_processes=30, n_units=100, repetitions=1, )
def test_large_nonforking_break_ties(): generate_and_check_dag( checks= [check_break_ties], n_processes = 30, n_units = 500, repetitions = 1, )
def test_small_nonforking_break_ties(): generate_and_check_dag( checks= [check_break_ties], n_processes = 5, n_units = 50, repetitions = 20, )
def test_small_nonforking_below(): generate_and_check_dag( checks=[check_all_pairs_below], n_processes=5, n_units=50, repetitions=30, )
def test_small_forking_below(): generate_and_check_dag(checks=[check_all_levels], n_processes=5, n_units=50, repetitions=30, forking=lambda: 1)