write_btor - write design to BTOR file

    write_btor [options] [filename]

Write a BTOR description of the current design.

    Add comments and indentation to BTOR output file

    Output only a single bad property for all asserts

    Output cover properties using 'bad' statements instead of asserts

  -i <filename>
    Create additional info file with auxiliary information

    Output symbols for internal netnames (starting with '$')