Daniel Bristot de Oliveira | e3c9fc7 | 2022-07-29 11:38:46 +0200 | [diff] [blame] | 1 | #!/usr/bin/env python3 |
| 2 | # SPDX-License-Identifier: GPL-2.0-only |
| 3 | # |
| 4 | # Copyright (C) 2019-2022 Red Hat, Inc. Daniel Bristot de Oliveira <bristot@kernel.org> |
| 5 | # |
| 6 | # dot2c: parse an automata in dot file digraph format into a C |
| 7 | # |
| 8 | # This program was written in the development of this paper: |
| 9 | # de Oliveira, D. B. and Cucinotta, T. and de Oliveira, R. S. |
| 10 | # "Efficient Formal Verification for the Linux Kernel." International |
| 11 | # Conference on Software Engineering and Formal Methods. Springer, Cham, 2019. |
Daniel Bristot de Oliveira | 4041b9b | 2022-07-29 11:38:47 +0200 | [diff] [blame] | 12 | # |
| 13 | # For further information, see: |
| 14 | # Documentation/trace/rv/deterministic_automata.rst |
Daniel Bristot de Oliveira | e3c9fc7 | 2022-07-29 11:38:46 +0200 | [diff] [blame] | 15 | |
| 16 | if __name__ == '__main__': |
| 17 | from dot2 import dot2c |
| 18 | import argparse |
| 19 | import sys |
| 20 | |
| 21 | parser = argparse.ArgumentParser(description='dot2c: converts a .dot file into a C structure') |
| 22 | parser.add_argument('dot_file', help='The dot file to be converted') |
| 23 | |
| 24 | args = parser.parse_args() |
| 25 | d = dot2c.Dot2c(args.dot_file) |
| 26 | d.print_model_classic() |