search

codeaudit / alchemy-2

Automatically exported from code.google.com/p/alchemy-2
0 stars 0 forks source link

Could not process a single mln file on Windows #11

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?

D:\Work\alchemy-22\alchemy-2\bin>infer -i ..\exdata\smoker.mln -e 
..\exdata\smoker.db -r smoking.results -q Smokes -ms -maxSteps 20000

result in:

----------------- end of parameters ----------------
Reading formulas and evidence predicates...
..\exdata\smoker.mln3944_tmpalchemy.mln
ERROR in ..\exdata\smoker.mln3944: line 12, col 9: parse error, unexpected $unde
fined, expecting ZZ_STRING
Num of errors detected = 1
total time taken = 0 secs

What is the expected output? What do you see instead?

What version of the product are you using? On what operating system?

Alchemy 2 compiled on Windows with Cygwin.

Please provide any additional information below.

Original issue reported on code.google.com by Tonch...@gmail.com on 21 Jan 2015 at 11:52