abc.c
1.06 MB
The source could not be displayed because it is larger than 1 MB.
You can
load it anyway or download it
instead.
-
Changing switch -R <num> in &gla to mean the max allowed size of abstraction.… · cab83010Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.
Alan Mishchenko committed