[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Exploring TLC checkpoint states
- From: Jaak Ristioja <jaak.r...@xxxxxxxx>
- Date: Fri, 8 Jan 2016 15:27:38 +0200
- User-agent: curl/7.45.0
Hi!
A model checking run seems to be taking too long to complete. Is it
somehow possible to explore the graph of visited states using the
periodical checkpoint data?
Best regards,
Jaak Ristioja