|
Rewrite recording time consumption without dumping core
Handle the -o option
Change version to 0.5 Introduce domain restriction statement
#domain function : domain
For example
##domain f(0) : {1,2,3} that indicates the value of f(0) can only
be 1, 2, or 3 exclusively.
Change version to 0.6 |
|