Wiki
Clone wikiigen / iga
#!shell sage: %attach gcc_cfg.py sage: cfg2preds('/home/tnguyen/igen_exps/coreutils/coreutils-8.23/obj-gcov/src/join.c.011t.cfg') write to '/home/tnguyen/igen_exps/coreutils/coreutils-8.23/obj-gcov/src/join.c.011t.cfg.preds' cd examples/iga python -O ../../iga/iga.py -dom_file ex5.dom -cfg ex5.c.011t.cfg.preds -run_script run_script5 -seed 0 -logger_level 2 cd iga python -O iga.py uname -seed 0 -sid ../src/uname.c:277 -logger_level 3
Updated