[dylan-foundry/z3-dylan] f74b06: [test] Add numeral example.

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

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

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

  Log Message:
  -----------
  [test] Add numeral example.

* tests/z3-test-suite.dylan
  (test numeral-example): New test, borrowed from C API tests.


  Commit: 332d2d05c955828b93eb9ad3c4ed4b90a2b6e193
      https://github.com/dylan-foundry/z3-dylan/commit/332d2d05c955828b93eb9ad3c4ed4b90a2b6e193
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-28 (Sun, 28 Feb 2016)

  Changed paths:
    M tests/z3-test-suite.dylan
    M z3/raw-z3-api.dylan
    M z3/raw-z3-api.intr

  Log Message:
  -----------
  Bind Z3-get-version correctly.

* z3/raw-z3-api.intr
  (Z3_get_version): All parameters are output parameters.

* z3/raw-z3-api.dylan
  (Z3-get-version): Likewise.

* tests/z3-test-suite.dylan
  (test version-test): New test to validate the version.


Compare: https://github.com/dylan-foundry/z3-dylan/compare/8f4aca6f80c0...332d2d05c955
----==_mimepart_56d31f55132d2_1c983f9fb85bb2a0288cf
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_56d31f55132d2_1c983f9fb85bb2a0288cf--