What is the matter with the oracle example? Thanks :)

[hanwei wu]

Dear friends:

  I have a questions seeking for your help. I can not run the oracle example as below while the oracle file is  in the  working directory  actually (and in the other directory /oracle).

  I am looking forward your response. Thank you :)

./tamarin-prover --prove=uniqueness --heuristic=o --oraclename=myoracle testoracle.spthy

maude tool: 'maude'

 checking version: WARNING:

 'maude --version' returned unsupported version '2.7'

 Please install one of the following versions of Maude: 2.7.1, 3.0

Detailed results from testing 'maude'

 command: maude --version

 stdin:   

 stdout:  2.7

 stderr:  

 checking installation: OK.

  solved goal nr. 0 (directly): Unique( x.2 ) @ #i

  solved goal nr. 1 (directly): Unique( x.2 ) @ #j.1

tamarin-prover: ./myoracle: readCreateProcess: runInteractiveProcess: exec: does not exist (No such file or directory)