search

javiercu / itsimple

Automatically exported from code.google.com/p/itsimple
Other
1 stars 0 forks source link

VAL system missing (Plan Validation) #17

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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 tiago.va...@gmail.com on 22 Feb 2013 at 5:40

GoogleCodeExporter commented 9 years ago 
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 tiago.va...@gmail.com on 24 Apr 2013 at 6:34

GoogleCodeExporter commented 9 years ago 
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 Benedict...@gmail.com on 17 Mar 2014 at 1:18