Export to BDDsd


To export a project to BDDsd, open the Project menu and select Export to BDDsd. DESpot will ask you for the filename and filepath you wish to save your BDDsd project file. Click Save to finish the operation. Your project file and all required DES will now be converted into the BDDsd format. For a project to be eligible for export, every DES must contain a controllable event called tick, with alias t.


« FPETools   |   Fault Tolerance »