Test Result : Analysis/z3

0 failures , 2 skipped
3 tests
Took 70 ms.

All Tests

Test nameDurationStatus
apsint.c70 msPassed
enabled.c0 msSkipped
pretty-dump.c0 msSkipped