| Run on Android with |
| |
| 1) Build the tests. |
| 2) adb install <tree root>/out/target/product/<name>/testcases/CRTests/arn64/CRTests.apk |
| 3) adb shell am instrument -w com.hp.creals.tests/android.test.InstrumentationTestRunner |
| |
| Depending on the device, the last step may take a while. |
| (CRTest is quick, SlowCRTest is not, especially not the final trig function |
| test.) |
| |
| Note that Random seeds are not set. Hence repeated runs should improve |
| coverage at the cost of reproducibility. Failing arguments should however |
| be printed. |
| |
| We expect that this test is much too nondeterministic to be usable for any kind |
| of performance evaluation. Please don't try. |
