Test Result : Analysis/PhiValues

0 failures
3 tests
Took 0.54 sec.

All Tests

Test nameDurationStatus
basic.ll0.18 secPassed
big_phi.ll0.17 secPassed
long_phi_chain.ll0.19 secPassed