|
Some Useful Tips - II
Some Useful Tips - II
- Do not keep dynamic variable ordering enabled.
- Typically invoke dynamic ordering after
- Doing “print_img_info”
- Use “compute_reach -s -r “ to invoke dynamic ordering, when the BDD size of the reached state set crosses the threshold value. The size of the BDD is checked every “step_size” steps of reachability.
|
