z3_440_counterexample.drv 100 Bytes
Newer Older
1 2 3 4 5

import "z3_440.drv"

theory BuiltIn

6
  meta "get_counterexmp" ""
7 8 9
  meta "meta_incremental" ""

end