With Z3 2.x I used the SMTLib2 command
(get-info statistics)
to get statistics of a Z3 run. Using Z3 3.2 I get
(error "line _ column _: invalid command argument, keyword expected")
for the above, and to
(get-info :statistics)
Z3 replies with
unsupported
What's the new way of getting statistics (other than the /st command-line option)?
And while we're at it: The INI options page lists
(set-option :STATISTICS true)
as a valid option, but Z3 3.2 again replies with
unsupported
