• Home
Name Date Size #Lines LOC

..--

src/com/hp/creals/03-May-2024-499376

Android.bpD03-May-20241.2 KiB3633

AndroidManifest.xmlD03-May-20241.3 KiB4014

README.txtD03-May-2024647 1712

README.txt

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