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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
