Ramon benchmark for Z3
-
Job description: 
Job tag: qflia-master
Runner: guido
Z3 repo: Z3Prover/z3
Z3 commit: b17df988ed1adbc1722a4fbfed01fd52c92ca236
Z3 branch: master
Z3 options: "-T:30"
Z3 inputs: inputs/QF_LIA
Z3 commit message: Daily Test Coverage Improver: Add comprehensive API special relations tests (#7925)

* Add comprehensive API special relations tests

- Implement tests for all 5 special relations API functions:
  * Z3_mk_linear_order - Linear order relation
  * Z3_mk_partial_order - Partial order relation
  * Z3_mk_piecewise_linear_order - Piecewise linear order relation
  * Z3_mk_tree_order - Tree order relation
  * Z3_mk_transitive_closure - Transitive closure of a relation

- Test coverage achieved: 100% (5/5 lines) in src/api/api_special_relations.cpp
- Added comprehensive test cases covering:
  * Basic functionality with different sorts
  * Different index parameters
  * Expression creation and integration
  * Edge cases and variations

🤖 Generated with Claude Code

* staged files

* remove files

---------

Co-authored-by: Daily Test Coverage Improver <github-actions[bot]@users.noreply.github.com>
