Ticket #34 (new enhancement)

Opened 2 years ago

Last modified 2 years ago

Add a possibility to dump the model-checking results

Reported by: ivan.zapreev Owned by: christinajansen
Priority: major Milestone: MRMC future
Component: Core Version: 1.3
Keywords: Cc: nguyen

Description

Add a possibility to dump the model-checking results into a file from the MRMC command prompt. It should be useful in case we have "set print off" and after of checking results with

$RESULT[i] and $STATE[i]

we want to store the rest on the hard drive.

Change History

Changed 2 years ago by ivan.zapreev

  • component changed from Bisimulation Engine to Core
Note: See TracTickets for help on using tickets.