Python generate_and_check_dag Examples

Example #1

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))

Example #2

def test_small_nonforking():
    generate_and_check_dag(
        checks=[check_all_floors],
        n_processes=5,
        n_units=50,
        repetitions=30,
    )

Example #3

def test_large_nonforking():
    generate_and_check_dag(
        checks=[check_all_floors],
        n_processes=100,
        n_units=200,
        repetitions=1,
    )

Example #4

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))

Example #5

def test_large_nonforking_below():
    generate_and_check_dag(
        checks=[check_all_levels],
        n_processes=30,
        n_units=100,
        repetitions=1,
    )

Example #6

File: test_poset_break_ties.py Project: syedahmedali09/Proof-of-Concept

def test_large_nonforking_break_ties():
    generate_and_check_dag(
        checks= [check_break_ties],
        n_processes = 30,
        n_units = 500,
        repetitions = 1,
    )

Example #7

File: test_poset_break_ties.py Project: syedahmedali09/Proof-of-Concept

def test_small_nonforking_break_ties():
    generate_and_check_dag(
        checks= [check_break_ties],
        n_processes = 5,
        n_units = 50,
        repetitions = 20,
    )

Example #8

def test_small_nonforking_below():
    generate_and_check_dag(
        checks=[check_all_pairs_below],
        n_processes=5,
        n_units=50,
        repetitions=30,
    )

Example #9

def test_small_forking_below():
    generate_and_check_dag(checks=[check_all_levels],
                           n_processes=5,
                           n_units=50,
                           repetitions=30,
                           forking=lambda: 1)