Theory "string.String" is unsound
But more likely, it should really be disabled for some provers:
use string.String
goal g : false
$ bin/why3 prove foo.mlw -P Z3,4.6.0
foo.mlw Top g: Valid (0.04s, 24607 steps)
But more likely, it should really be disabled for some provers:
use string.String
goal g : false
$ bin/why3 prove foo.mlw -P Z3,4.6.0
foo.mlw Top g: Valid (0.04s, 24607 steps)