Noridayu Adnan

Hi, I'm having two problems here. 1) After I have saved my project and I tried to open it back, it said that Could not open the editor: An unexpected exception was thrown. How to solve this? 2) How to run the external tools configuration by using Z/Eves? By the way, I have read in the forum that Z/Eves prover is not under CZT. So is there any specific place that I can ask everything about Z/Eves prover? Thank you. Noridayu Adnan Research Assistant Centre for Cyber Security Faculty of Information...

I have same problem here. Does it has solution yet ?