Skip to content

test: experimenting with hypothesis for property-based testing - #119

Draft
ErikBjare wants to merge 1 commit into
masterfrom
dev/hypothesis
Draft

test: experimenting with hypothesis for property-based testing#119
ErikBjare wants to merge 1 commit into
masterfrom
dev/hypothesis

Conversation

@ErikBjare

Copy link
Copy Markdown
Member

No description provided.

from datetime import datetime, timedelta

from aw_core.models import Event
from hypothesis import assume, given

Check notice

Code scanning / CodeQL

Unused import

Import of 'assume' is not used.
@TimeToBuildBob

Copy link
Copy Markdown
Contributor

Cannot rebase this: TimeToBuildBob has no write access on ActivityWatch/aw-core, and dev/hypothesis is Erik's 2023 draft experiment. Leaving the conflict for the author.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants