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 Science and Technology
Universiti Kebangsaan Malaysia
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 Science and Technology
Universiti Kebangsaan Malaysia
did you manage to solve the problem? Can you write the solution? thanks.
I finally got Z/Eves to work with CZT.
This is the setup I used:
I have attached some screenshots.
It is necessary to refresh Z/EVES view to see it on connected state.
I couldn't get it to work in Eclipse 2022. The error is:
So I think CZT Z/EVES is not compatible with newer versions of Eclipse.
I also think that the plugin is not compatible with most recent JDK versions.
Last edit: André Silva 2022-12-09
Hi. What is your problem? What error are you facing?
André Gustavo P. da Silva
I'm sorry, but I can't get it done without your assistance. I am unable to resolve this issue.
Z/Eves Eclipse
Sent from sourceforge.net because you indicated interest in https://sourceforge.net/p/czt/discussion/295268/
To unsubscribe from further messages, please visit https://sourceforge.net/auth/subscriptions/