TAPAAL

Verify Query Error

Asked by Dania

I got an error message whenever i try verify query. Error: the engine selected in the query dialog cannot verify this model. please choose another engine. java.lang.NullPointerException. how can I fix this error?

Question information

Language:
English Edit question
Status:
Expired
For:
TAPAAL Edit question
Assignee:
No assignee Edit question
Last query:
Last reply:
Revision history for this message
Jiri Srba (srba) said : 		#1

Can you send me the model, please? I will take a look?

Revision history for this message
Dania (dania-aljeaid) said : 		#2

it is TAPAAL 3.1.3 for MAC

Revision history for this message
Jiri Srba (srba) said : 		#3

Yes. But in order for me to see when the error appears, could you send me the tapaal model (xml file) with a query
where I can reproduce the bug? You can just upload it to this thread, or send it directly by email to
<email address hidden>.

Revision history for this message
Launchpad Janitor (janitor) said : 		#4

This question was expired because it remained in the 'Open' state without activity for the last 15 days.