Test Result : Analysis/z3

0 failures , 1 skipped
2 tests
Took 50 ms.

All Tests

Test nameDurationStatus
apsint.c50 msPassed
enabled.c0 msSkipped