write_btor - write design to BTOR file
write_btor [options] [filename] Write a BTOR description of the current design. -v Add comments and indentation to BTOR output file -s Output only a single bad property for all asserts -c Output cover properties using 'bad' statements instead of asserts -i <filename> Create additional info file with auxiliary information -x Output symbols for internal netnames (starting with '$')