:sparkles: Add the apply function for uninterpreted functions
GitHub Actions / Tests-ubuntu-latest-cabal-8107
succeeded
Jan 6, 2024 in 1s
2112 passed, 0 failed and 0 skipped
✔️ test-report.xml
2112 tests were completed in 0ms with 2112 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| test-framework tests | 2112✔️ | 0ms |
Loading