libsel4/tools/bitfield_gen.py

1157         print(string, file=params.output)
1158         print(file=params.output)
1281         output = params.output
1286                         {"name": self.name}, file=output)
1287         print(file=output)
1295                                    substs, params.sorry), file=output)
1296         print(file=output)
1299                                    substs, params.sorry), file=output)
1300         print(file=output)
1303                                    substs, params.sorry), file=output)
1304         print(file=output)
1308         file=output)
1309         print(file=output)
1501         output = params.output
1531                         file=output)
1550         print(fs, file=output)
1551         print(file=output)
1568         print(fs, file=output)
1569         print(file=output)
1589                 print(fs, file=output)
1590                 print(file=output)
1649                         file=output)
1650         print(file=output)
1652         print(collapse_proofs, file=output)
1665                 print(t % substs, file=output)
1666                 print(file=output)
1668             print(block_lift_def_template % substs, file=output)
1669             print(file=output)
1671             print(block_lift_lemma_template % substs, file=output)
1672             print(file=output)
1676         print(block_lift_lemmas, file=output)
1677         print(file=output)
1680         output = params.output
1686                          "multiple": self.multiple}, file=output)
1687         print(file=output)
1690         print("enum %s_tag {" % self.name, file=output)
1694                 file=output)
1697             file=output)
1698         print("};", file=output)
1700                         (self.name, self.name), file=output)
1701         print(file=output)
2159         output = params.output
2182             print(out, file=output)
2221                             file=output)
2222             print(file=output)
2227         output = params.output
2234                         {"name": self.name}, file=output)
2235         print(file=output)
2243                                    substs, params.sorry), file=output)
2244         print(file=output)
2247                                    substs, params.sorry), file=output)
2248         print(file=output)
2251                                    substs, params.sorry), file=output)
2252         print(file=output)
2256         file=output)
2257         print(file=output)
2364         output = params.output
2373                          "multiple": self.multiple}, file=output)
2374         print(file=output)
2549         """Open an output file for writing, recording its filename.
2598     parser.add_option('--thy-output-path', action='store', default=None,
2599             help="Path that the output theory files will be located in.")
2623         # Ensure that if an output file was not specified, an output path was.
2626                 parser.error("Theory output path was not specified")
2636     options.output = out_file
2700     # Generate the output
2744                 options.output = out_file
2802                 options.output = out_file