Hi, does anyone know how to interpret the .path files created by --write-paths. I just see a bunch of 0 and 1s. I was hoping to see the path taken by each test case.
Thanks Sam -- Samaneh Navabpour Department of Electrical and Computer Engineering University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada, N2L 3G1 Tel: 519-888-456 Ext:37863 _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
