Test Result : Analysis/z3

0 failures , 1 skipped
2 tests
Took 60 ms.

All Tests

Test nameDurationStatus
apsint.c60 msPassed
enabled.c0 msSkipped