class documentation
class SpotChecks(TestCase): (source)
Tests to make sure that the output contains salient features of the machine being generated.
| Method | test_contains |
The output of graphviz.Digraph should contain the names of the states, inputs, outputs in the state machine. |
| Method | test_contains |
The output of graphviz.Digraph should contain the names of the states, inputs, outputs in the state machine. |