Test Result : Analysis/z3

0 failures , 3 skipped
4 tests
Took 40 ms.

All Tests

Test nameDurationStatus
D83660.c0 msSkipped
apsint.c40 msPassed
enabled.c0 msSkipped
pretty-dump.c0 msSkipped