I'm reading that Directionless WP was being implemented in KLEE in 2010... https://www.cylab.cmu.edu/research/techreports/2010/tr_cylab10002.html Is anybody aware if the feature is still in development? thanks, Mauro -- Homme libre, toujours tu chériras la mer! - Charles Baudelaire