Kea2 Merged Test Report

Test Time: 2026-01-22 15:39:57

Test Summary

2 Property Violations
1 Invariant Violations
3 Crashes
0 ANRs
21.43% Activity Coverage
4 All Properties
1 All Invariants
4 Executed Properties
Merged Directories
1. res_2026012011_3416292347
1 PV
1 IV
00:02:48 Time
100 Events
21.43% Cover
4/4 Props
1 Crash
0 ANR
2. res_2026012011_5213857833
2 PV
1 IV
00:04:07 Time
100 Events
14.29% Cover
4/4 Props
1 Crash
0 ANR
3. res_2026012011_5800238216
2 PV
1 IV
00:05:33 Time
100 Events
21.43% Cover
4/4 Props
1 Crash
0 ANR

Activities Coverage

Activity Name 3/14 Visit Count
com.tbruyelle.rxpermissions.ShadowActivity 0 times
it.feio.android.omninotes.MainActivity 54 times
it.feio.android.omninotes.SnoozeActivity 0 times
it.feio.android.omninotes.SettingsActivity 52 times
it.feio.android.omninotes.NoteInfosActivity 0 times
it.feio.android.omninotes.intro.IntroActivity 0 times
it.feio.android.omninotes.CategoryActivity 2 times
it.feio.android.omninotes.GalleryActivity 0 times
com.google.android.gms.common.api.GoogleApiActivity 0 times
it.feio.android.omninotes.ShortcutActivity 0 times
it.feio.android.omninotes.AboutActivity 0 times
it.feio.android.omninotes.StatsActivity 0 times
it.feio.android.omninotes.PasswordActivity 0 times
it.feio.android.omninotes.widget.WidgetConfigurationActivity 0 times

Crash and ANR Events

Type Time Exception Process Report Source Details
CRASH 2026-01-20 12:32:27 java.lang.NullPointerException 14627 res_2026012011_3416292347
Stack Trace:
CRASH: it.feio.android.omninotes.alpha (pid 14627) (dump time: 2026-01-20 12:32:27
Version: 
Long Msg: java.lang.NullPointerException: Parameter specified as non-null is null: method it.feio.android.omninotes.alpha.applock.delegate.WindowCallbackWrapper.onMenuOpened, parameter menu
	at it.feio.android.omninotes.alpha.delegate.WindowCallbackWrapper.onMenuOpened(Unknown Source:2)
	at com.android.internal.policy.PhoneWindow$ActionMenuPresenterCallback.onOpenSubMenu(PhoneWindow.java:2500)
	at com.android.internal.view.menu.BaseMenuPresenter.onSubMenuSelected(BaseMenuPresenter.java:211)
	at android.widget.ActionMenuPresenter.showOverflowMenu(ActionMenuPresenter.java:560)
	at android.widget.ActionMenuPresenter$OverflowMenuButton.performClick(ActionMenuPresenter.java:893)
	at android.view.View.performClickInternal(View.java:8009)
	at android.view.View.-$$Nest$mperformClickInternal(Unknown Source:0)
	at android.view.View$PerformClick.run(View.java:31484)
	at android.os.Handler.handleCallback(Handler.java:959)
	at android.os.Handler.dispatchMessage(Handler.java:100)
	at android.os.Looper.loopOnce(Looper.java:301)
	at android.os.Looper.loop(Looper.java:398)
	at android.app.ActivityThread.main(ActivityThread.java:9055)
	at java.lang.reflect.Method.invoke(Native Method)
	at com.android.internal.os.RuntimeInit$MethodAndArgsCaller.run(RuntimeInit.java:627)
	at com.android.internal.os.ZygoteInit.main(ZygoteInit.java:970)
CRASH 2026-01-20 22:22:21 java.lang.NullPointerException 14627 res_2026012011_5213857833
Stack Trace:
CRASH: it.feio.android.omninotes.alpha (pid 14627) (dump time: 2026-01-20 22:22:21
Version: 
Long Msg: java.lang.NullPointerException: Parameter specified as non-null is null: method it.feio.android.omninotes.alpha.applock.delegate.WindowCallbackWrapper.onMenuOpened, parameter menu
	at it.feio.android.omninotes.alpha.delegate.WindowCallbackWrapper.onMenuOpened(Unknown Source:2)
	at com.android.internal.policy.PhoneWindow$ActionMenuPresenterCallback.onOpenSubMenu(PhoneWindow.java:2500)
	at com.android.internal.view.menu.BaseMenuPresenter.onSubMenuSelected(BaseMenuPresenter.java:211)
	at android.widget.ActionMenuPresenter.showOverflowMenu(ActionMenuPresenter.java:560)
	at android.widget.ActionMenuPresenter$OverflowMenuButton.performClick(ActionMenuPresenter.java:893)
	at android.view.View.performClickInternal(View.java:8009)
	at android.view.View.-$$Nest$mperformClickInternal(Unknown Source:0)
	at android.view.View$PerformClick.run(View.java:31484)
	at android.os.Handler.handleCallback(Handler.java:959)
	at android.os.Handler.dispatchMessage(Handler.java:100)
	at android.os.Looper.loopOnce(Looper.java:301)
	at android.os.Looper.loop(Looper.java:398)
	at android.app.ActivityThread.main(ActivityThread.java:9055)
	at java.lang.reflect.Method.invoke(Native Method)
	at com.android.internal.os.RuntimeInit$MethodAndArgsCaller.run(RuntimeInit.java:627)
	at com.android.internal.os.ZygoteInit.main(ZygoteInit.java:970)
CRASH 2026-01-20 19:03:46 java.lang.NullPointerException 14627 res_2026012011_5800238216
Stack Trace:
CRASH: it.feio.android.omninotes.alpha (pid 14627) (dump time: 2026-01-20 19:03:47
Version: 
Long Msg: java.lang.NullPointerException: Parameter specified as non-null is null: method it.feio.android.omninotes.alpha.applock.delegate.WindowCallbackWrapper.onMenuOpened, parameter menu
	at it.feio.android.omninotes.alpha.delegate.WindowCallbackWrapper.onMenuOpened(Unknown Source:2)
	at com.android.internal.policy.PhoneWindow$ActionMenuPresenterCallback.onOpenSubMenu(PhoneWindow.java:2500)
	at com.android.internal.view.menu.BaseMenuPresenter.onSubMenuSelected(BaseMenuPresenter.java:211)
	at android.widget.ActionMenuPresenter.showOverflowMenu(ActionMenuPresenter.java:560)
	at android.widget.ActionMenuPresenter$OverflowMenuButton.performClick(ActionMenuPresenter.java:893)
	at android.view.View.performClickInternal(View.java:8009)
	at android.view.View.-$$Nest$mperformClickInternal(Unknown Source:0)
	at android.view.View$PerformClick.run(View.java:31484)
	at android.os.Handler.handleCallback(Handler.java:959)
	at android.os.Handler.dispatchMessage(Handler.java:100)
	at android.os.Looper.loopOnce(Looper.java:301)
	at android.os.Looper.loop(Looper.java:398)
	at android.app.ActivityThread.main(ActivityThread.java:9055)
	at java.lang.reflect.Method.invoke(Native Method)
	at com.android.internal.os.RuntimeInit$MethodAndArgsCaller.run(RuntimeInit.java:627)
	at com.android.internal.os.ZygoteInit.main(ZygoteInit.java:970)

Property Checking Statistics

Index Property Name 5 Precondition Satisfied 330 Total Executions 163 Passes 152 Fails 43 Errors 7 Skipped 167
1 quickstart.Omni_Notes_Sample.go_to_privacy_settings Property 96 55 48 0 7 41
2 quickstart.Omni_Notes_Sample.navigate_up Property 158 82 82 0 0 76
3 quickstart.Omni_Notes_Sample.open_drawer Property 72 22 22 0 0 50
4 quickstart.Omni_Notes_Sample.rotation_should_not_close_the_search_input Property 4 4 0 4 0 0
5 quickstart.Omni_Notes_Sample.search_button_and_search_input_box_should_not_exists_at_the_same_time Invariant / / / 39 0 /

Property Source Mapping

Source Directory Information:

This section shows which test directories contain properties with failures or errors. Use this information to locate the original test reports for detailed error analysis.

Index Property Name Source Directories
1 quickstart.Omni_Notes_Sample.rotation_should_not_close_the_search_input res_2026012011_3416292347 res_2026012011_5213857833 res_2026012011_5800238216
2 quickstart.Omni_Notes_Sample.search_button_and_search_input_box_should_not_exists_at_the_same_time res_2026012011_3416292347 res_2026012011_5213857833 res_2026012011_5800238216
3 quickstart.Omni_Notes_Sample.go_to_privacy_settings res_2026012011_5213857833 res_2026012011_5800238216