fsm/generate.py File Reference

Go to the source code of this file.

Namespaces
	generate

Functions
def	generate.redirect_stdout
def	generate.random_expr

Variables
	generate.test_verific = False
tuple	generate.rst2 = random.choice([False, True])
list	generate.variables = ['a', 'b', 'c', 'x', 'y', 'z']
tuple	generate.state_bits = random.randint(5, 16)
list	generate.states = []
tuple	generate.n = random.randint(0, 2**state_bits-1)
list	generate.next_states = states[:]
tuple	generate.next_state = random.choice(next_states)