[dylan-foundry/z3-dylan] afea5f: Update tests to use non-deprecated functions.

----==_mimepart_56afb9d9f1a7f_74a93fbdf411b2b813766c
Content-Type: text/plain;
 charset=UTF-8
Content-Transfer-Encoding: 7bit

  Branch: refs/heads/master
  Home:   https://github.com/dylan-foundry/z3-dylan
  Commit: afea5f7ddd741acb653decb78b0e210a20210b95
      https://github.com/dylan-foundry/z3-dylan/commit/afea5f7ddd741acb653decb78b0e210a20210b95
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-01 (Mon, 01 Feb 2016)

  Changed paths:
    M tests/utilities.dylan
    M tests/z3-test-suite.dylan

  Log Message:
  -----------
  Update tests to use non-deprecated functions.

We're about to stop wrapping almost all deprecated Z3 APIs, so
stop using them in the tests.


  Commit: 1a8f45c6c81f3375079dba5f5d3ad7a71bac6dea
      https://github.com/dylan-foundry/z3-dylan/commit/1a8f45c6c81f3375079dba5f5d3ad7a71bac6dea
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-01 (Mon, 01 Feb 2016)

  Changed paths:
    M z3/module-raw-z3-api.dylan
    M z3/raw-z3-api.dylan
    M z3/raw-z3-api.intr

  Log Message:
  -----------
  Remove deprecated API.

This leaves Z3_mk_context as it is more convenient to use for tests
than Z3_mk_context_rc.


Compare: https://github.com/dylan-foundry/z3-dylan/compare/b70fdcc69d12...1a8f45c6c81f
----==_mimepart_56afb9d9f1a7f_74a93fbdf411b2b813766c
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
chatter mailing list
[email protected]
https://lists.opendylan.org/mailman/listinfo/chatter
----==_mimepart_56afb9d9f1a7f_74a93fbdf411b2b813766c--