[prev in list] [next in list] [prev in thread] [next in thread] 

List:       soot-list
Subject:    Re: [Soot-list] SPARK and Paddle not running
From:       Quentin Sabah <quentin.sabah () inria ! fr>
Date:       2013-04-16 10:35:03
Message-ID: 684061200.17295509.1366108503781.JavaMail.root () inria ! fr
[Download RAW message or body]

Hi,
> Exception in thread "main" java.lang.RuntimeException: couldn't find
> class: org.sf.javabdd.BDDFactory (is your soot-class-path set
> properly?)

I'm not a PADDLE user, but there are some dependencies that you must add to your \
project: http://www.sable.mcgill.ca/paddle/

-- 
Quentin Sabah, co-funded Ph.D. student
Grenoble University
INRIA-SPADES                   | STMicroelectronics/AST
Montbonnot, France             | Grenoble, France
mailto:quentin.sabah@inria.fr  | mailto:quentin.sabah@st.com
phone: +33 476 61 52 42        | phone: +33 476 58 44 14 
_______________________________________________
Soot-list mailing list
Soot-list@sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list


[prev in list] [next in list] [prev in thread] [next in thread]