On Thu, Feb 21, 2013 at 03:28:24PM +0530, अपर्णा त्रिपाठी wrote:
> I am tring to run C2Promela at cygwin
> following all the step given at http://www.ida.liu.se/~kejia/c2promela/
> ** Fatal error: Cannot find file "libstr"
Old version of CIL, recent version of the OCaml compiler. Three solutions:
Dear Sir,
I am tring to run C2Promela at cygwin
following all the step given at http://www.ida.liu.se/~kejia/c2promela/
but following probel come.
i am not getting what i am missing.
if you can understand or find the solution. pl do it
Compiling C file ocamlutil/perfcount.c
Linking bytecode o
