! mkdir -p temp read_verilog <<EOT (* src = "\042 \057 \134 \010 \014 \012 \015 \011 \025 \033" *) module foo; endmodule EOT write_json temp/test_escapes.json design -reset read_json temp/test_escapes.json write_json temp/test_escapes.json design -reset read_json temp/test_escapes.json write_rtlil temp/test_escapes.json.il ! grep -F 'attribute \src "\" / \\ \010 \014 \n \015 \t \025 \033"' temp/test_escapes.json.il