write_btor - write design to BTOR file

yosys> help write_btor
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 '$')
-ywmap <filename>
Create a map file for conversion to and from Yosys witness traces