Opened 10 years ago

Last modified 10 years ago

#34 new enhancement

Add a possibility to dump the model-checking results

Reported by: Dr. Ivan S. Zapreev Owned by: Christina Jansen
Priority: major Milestone: MRMC future
Component: Core Version: 1.3
Keywords: Cc: Viet Yen 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 (1)

comment:1 Changed 10 years ago by Dr. Ivan S. Zapreev

Component: Bisimulation EngineCore
Note: See TracTickets for help on using tickets.