port test_capi.c to use mostly essentially non-deprecated APIs

Browse source

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

...

This commit is contained in:

Nikolaj Bjorner 2015-11-17 18:59:43 -08:00

parent 04b0e3c2f7

commit d7c3e77b66

1 changed files with 291 additions and 198 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

489

examples/c/test_capi.c

View file

File diff suppressed because it is too large Load diff