v1.6.0
This release adds an option ALLASSUMES to the --initprec argument of the CFA tool. This option tracks all predicates in assumptions (e.g., branch/loop conditions) from the beginning. Applicable in the predicate domains.
This release adds an option ALLASSUMES to the --initprec argument of the CFA tool. This option tracks all predicates in assumptions (e.g., branch/loop conditions) from the beginning. Applicable in the predicate domains.