Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

VAL system missing (Plan Validation) #17

Open
GoogleCodeExporter opened this issue Mar 17, 2015 · 2 comments
Open

VAL system missing (Plan Validation) #17

GoogleCodeExporter opened this issue Mar 17, 2015 · 2 comments

Comments

@GoogleCodeExporter
Copy link

What steps will reproduce the problem?
1. Running plan validation in itSIMPLE4.0beta4 shows: 
Calling validator VAL version 4.2.07 Linux (for more details see 
http://planning.cis.strath.ac.uk/VAL/). 
## Error while running the validator. Please check the validator's executable 
file, permissions, and operating system compatibility. 
The problem is that the itSIMPLE is looking for a file named val4 and such file 
is not in the myValidators. It is missing.

What is the expected output? What do you see instead?
val should run

Original issue reported on code.google.com by [email protected] on 22 Feb 2013 at 5:40

@GoogleCodeExporter
Copy link
Author

In version 4.0beta this problem is being caused the reference to the VAL file 
is wrong in the file itValidators.xml found in the folder 
/resources/validators/itValidators.xml. To fix this bug temporally open this 
xml file and replace the string "val4" (found in the xml tag called filePath) 
to "validate". That should solve the problem

Original comment by [email protected] on 24 Apr 2013 at 6:34

@GoogleCodeExporter
Copy link
Author

VAL4.2.07 failed in itSIMPLE4.0beta, how to fix this configuration problem?

Referring to your instruction in the issue 17, I have replaced the string 
‘val4’ to ‘validate’ in itValidators.xml. The former VAL website 
http://planning.cis.strath.ac.uk/VAL/  has been abandoned and turned to 
http://www.inf.kcl.ac.uk/research/groups/PLANNING/ . According to this new 
website I set up configurations of my computer with operation system Ubuntu 
13.04 and other configurations flex, bison, Gnu C++ 4.7.3(lower version 3.2.3 
has been installed concurrently to get rid of compatibility issues). However, 
when itSIMPLE invoke VAL, the command window in Ubuntu reports errors so that 
the feature validity in itSIMPLE tells ‘not validated’. 
As the instructions of VAL’s website has not been updated for a while and 
version of configuration softwares (like operation, flex, bison, GCC) have not 
been given accurately. Could you tell us how you can use VAL in itSIMPLE 
successfully? What softwares need to be installed? Are flex, bison, GCC enough? 
What is your operation version of Ubuntu and GCC version?


Original comment by [email protected] on 17 Mar 2014 at 1:18

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant