search

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25
MIT License
17 stars 6 forks source link

[Z3] Add Z3 API tests for error checking #352

Closed janvrany closed 1 month ago

janvrany commented 1 month ago

These tests are based on Z3's error_code_example1() and error_code_example2() 1.