search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Have number of iterations before numerical widening as a parameter #94

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago

File: lib/WideningNumericalInfinity.cpp

karelklic commented 11 years ago

If we would have a "set" command in the tool, the number of iterations could be set both from the tool's environment and the command line arguments, like other already existing commands.

./canal file.bc -e "set widening-iterations 3" -e "run"
(canal) set widening-iterations 3