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
Bugs item #3604915, was opened at 2013-02-15 13:29
Message generated for change (Comment added) made by
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=742140&aid=3604915&group_id=138953
Please note that this message will contain a full copy of the comment thread,
