blob: f74ba5500905ebfb1be92b37be44739ab94e0154 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
#Necessary includes and stuff
from example.driver import nolock_example, lock_example, \
generate_random_nolock_sets, \
generate_random_lock_sets, print_bounds
if __name__ == '__main__':
#Actually run examples when this script is executed
print "Running non-lock example"
print_bounds(nolock_example(generate_random_nolock_sets()))
print "Running lock example"
print_bounds(lock_example(generate_random_lock_sets()))
|
