Tools for visualisation of state graphs by write_sg and draw_astg are (temporary) restored. Commands for generation of basic and binary-encoded state graphs can be found under
Tools→External visualiser menu. Note that a better alternative is to convert an
STG to an
FSM via
Conversion→Finite State Transducer [Petrify] as it allows better visualisation of CSC conflicts now (in different colors).