search

ncsro / crest

Automatically exported from code.google.com/p/crest
0 stars 0 forks source link

crestc: command not found #13

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. after succesful installation of yices, cil ,ocaml and crest, when i am 
trying to execute i am facing the following error:
2.    crestc simple.c
      crestc: command not found
3.      run_crest./function 10 -dfs
         run_crest command not found

What is the expected output? What do you see instead?
The executable files crestc and run_crest have been created and are present in 
the /bin folder but the programs are not executing.

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

crest -0.1.1                    ubantu linux operating system
Please provide any additional information below.

Original issue reported on code.google.com by sanghu1...@gmail.com on 5 May 2012 at 11:23

GoogleCodeExporter commented 8 years ago 

It looks like crestc and run_crest are not in your PATH.  Try either typing the 
full path to these executables -- i.e. /home/username/crest-0.1.1/bin/crestc -- 
or adding /home/username/crest-0.1.1/bin/ to your PATH.

Original comment by jbur...@gmail.com on 8 May 2012 at 11:04