Coverage for app \ automata \ __init__.py: 100%

1"""Automata package""" 

2from app.automata.base import BaseAutomaton 

3from app.automata.formatter import PythonFormatter 

4from app.automata.linter import PythonLinter 

5from app.automata.trace_parser import TraceParser 

6from app.automata.ast_fixer import ASTFixer 

7from app.automata.test_generator import TestTemplateGenerator 

8 

9__all__ = [ 

10 "BaseAutomaton", 

11 "PythonFormatter", 

12 "PythonLinter", 

13 "TraceParser", 

14 "ASTFixer", 

15 "TestTemplateGenerator" 

16]