Known Problems and Patches for CADP 2006 "Edinburgh"
NOTE: THIS PAGE IS NOW OBSOLETE. All the problems listed below are already solved. We therefore recommend that you upgrade to the most recent version of CADP.

Information about the current status of CADP

The current stable version of CADP is version 2006 "Edinburgh" released on December 12, 2006. See The CADP Newsletter Nr. 6 for details.

So far, CADP 2006 "Edinburgh" has been found to be fairly mature and reliable except a few minor problems described below, for which we try to provide workarounds.

On July 26, 2007, an updated version named CADP 2006-a "Edinburgh" was released, which is almost the same as CADP 2006 "Edinburgh", but integrates the changes required to solve problems 2006-b, 2006-c, 2006-e, and 2006-f below. These changes are mostly intended to Ubuntu Linux users.

There also exist more recent beta-versions of CADP that solve all the issues listed in this page and bring many enhancements, including support for 64-bit machines. Please contact cadp@inria.fr to get access to the latest beta-version of CADP.


Table of Contents


PROBLEM 2006-a: [Windows] Recent versions of Cygwin Bash shell prevent some CADP tools from working

DESCRIPTION:SOLUTION:


PROBLEM 2006-b: EUCALYPTUS 2.6 cannot execute files if variable $PATH does not contain "."

DESCRIPTION:SOLUTION:


PROBLEM 2006-c: [Ubuntu Linux] SVL and TST don't work well on Ubuntu 6.10

DESCRIPTION:SOLUTION:


PROBLEM 2006-d: [all] Option -gradual of CAESAR 7.0 can be counter-productive

DESCRIPTION:SOLUTION:


PROBLEM 2006-e: [Windows] Spurious error messages from TST and cadp_web on Windows

DESCRIPTION:SOLUTION:


PROBLEM 2006-f: [Windows] Executor does not compile due to missing sleep() function

DESCRIPTION:SOLUTION:


PROBLEM 2006-g: [Ubuntu Linux] C compiler not usable by default on Ubuntu Feisty

DESCRIPTION:SOLUTION:


Version 1.24 last updated on 2015/08/21 16:59:42

Back to the CADP Home Page