[Soot-list] SPARK and Paddle not running

[Quentin Sabah]

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 at inria.fr  | mailto:quentin.sabah at st.com
phone: +33 476 61 52 42        | phone: +33 476 58 44 14