René's URL Explorer Experiment


Title: GitHub - elastic/e2e-testing: Formal verification of Elastic-Agent and more using BDD

Open Graph Title: GitHub - elastic/e2e-testing: Formal verification of Elastic-Agent and more using BDD

X Title: GitHub - elastic/e2e-testing: Formal verification of Elastic-Agent and more using BDD

Description: Formal verification of Elastic-Agent and more using BDD - elastic/e2e-testing

Open Graph Description: Formal verification of Elastic-Agent and more using BDD - elastic/e2e-testing

X Description: Formal verification of Elastic-Agent and more using BDD - elastic/e2e-testing

Opengraph URL: https://github.com/elastic/e2e-testing

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:b5b8dbf0-1594-5f9b-fa75-0c1aeb17e33b
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-id82F6:126045:6C80D:93244:698EE6DD
html-safe-nonce061ad5474fa6ca7c7370fabd048e5c178d8a82e4cf9477a1f44642ff6c5e3c03
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4MkY2OjEyNjA0NTo2QzgwRDo5MzI0NDo2OThFRTZERCIsInZpc2l0b3JfaWQiOiIyNjQ2OTEyMTAyMDM2MzM0MzAxIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacb7bbc9d43640f9d825bb9f0b658a93b2581f18913248830ab074c83c68059cee
hovercard-subject-tagrepository:197175360
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/elastic/e2e-testing
twitter:imagehttps://opengraph.githubassets.com/33afda8b768efdc517b97a5c01a06f84edf6bd8fbf687296b68cabbfccf0fa00/elastic/e2e-testing
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/33afda8b768efdc517b97a5c01a06f84edf6bd8fbf687296b68cabbfccf0fa00/elastic/e2e-testing
og:image:altFormal verification of Elastic-Agent and more using BDD - elastic/e2e-testing
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonecb2828a801ee6b7be618f3ac76fbf55def35bbc30f053a9c41bf90210b8b72ba
turbo-cache-controlno-preview
go-importgithub.com/elastic/e2e-testing git https://github.com/elastic/e2e-testing.git
octolytics-dimension-user_id6764390
octolytics-dimension-user_loginelastic
octolytics-dimension-repository_id197175360
octolytics-dimension-repository_nwoelastic/e2e-testing
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id197175360
octolytics-dimension-repository_network_root_nwoelastic/e2e-testing
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasee6b91a7e6e46287d26887e3fb7a4161657bab8f7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/elastic/e2e-testing#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Felastic%2Fe2e-testing
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Felastic%2Fe2e-testing
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=elastic%2Fe2e-testing
Reloadhttps://patch-diff.githubusercontent.com/elastic/e2e-testing
Reloadhttps://patch-diff.githubusercontent.com/elastic/e2e-testing
Reloadhttps://patch-diff.githubusercontent.com/elastic/e2e-testing
elastic https://patch-diff.githubusercontent.com/elastic
e2e-testinghttps://patch-diff.githubusercontent.com/elastic/e2e-testing
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Felastic%2Fe2e-testing
Fork 40 https://patch-diff.githubusercontent.com/login?return_to=%2Felastic%2Fe2e-testing
Star 24 https://patch-diff.githubusercontent.com/login?return_to=%2Felastic%2Fe2e-testing
View license https://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/LICENSE.txt
24 stars https://patch-diff.githubusercontent.com/elastic/e2e-testing/stargazers
40 forks https://patch-diff.githubusercontent.com/elastic/e2e-testing/forks
Branches https://patch-diff.githubusercontent.com/elastic/e2e-testing/branches
Tags https://patch-diff.githubusercontent.com/elastic/e2e-testing/tags
Activity https://patch-diff.githubusercontent.com/elastic/e2e-testing/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2Felastic%2Fe2e-testing
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Felastic%2Fe2e-testing
Code https://patch-diff.githubusercontent.com/elastic/e2e-testing
Issues 29 https://patch-diff.githubusercontent.com/elastic/e2e-testing/issues
Pull requests 7 https://patch-diff.githubusercontent.com/elastic/e2e-testing/pulls
Discussions https://patch-diff.githubusercontent.com/elastic/e2e-testing/discussions
Actions https://patch-diff.githubusercontent.com/elastic/e2e-testing/actions
Projects 0 https://patch-diff.githubusercontent.com/elastic/e2e-testing/projects
Security 0 https://patch-diff.githubusercontent.com/elastic/e2e-testing/security
Insights https://patch-diff.githubusercontent.com/elastic/e2e-testing/pulse
Code https://patch-diff.githubusercontent.com/elastic/e2e-testing
Issues https://patch-diff.githubusercontent.com/elastic/e2e-testing/issues
Pull requests https://patch-diff.githubusercontent.com/elastic/e2e-testing/pulls
Discussions https://patch-diff.githubusercontent.com/elastic/e2e-testing/discussions
Actions https://patch-diff.githubusercontent.com/elastic/e2e-testing/actions
Projects https://patch-diff.githubusercontent.com/elastic/e2e-testing/projects
Security https://patch-diff.githubusercontent.com/elastic/e2e-testing/security
Insights https://patch-diff.githubusercontent.com/elastic/e2e-testing/pulse
Brancheshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/branches
Tagshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tags
https://patch-diff.githubusercontent.com/elastic/e2e-testing/branches
https://patch-diff.githubusercontent.com/elastic/e2e-testing/tags
1,956 Commitshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/commits/main/
https://patch-diff.githubusercontent.com/elastic/e2e-testing/commits/main/
.cihttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/.ci
.cihttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/.ci
.githubhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/.github
.githubhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/.github
.vscodehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/.vscode
.vscodehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/.vscode
clihttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/cli
clihttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/cli
e2ehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/e2e
e2ehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/e2e
internalhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/internal
internalhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/internal
noticehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/notice
noticehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/notice
pkghttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/pkg
pkghttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/pkg
toolshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/tools
toolshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/tree/main/tools
.backportrc.jsonhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.backportrc.json
.backportrc.jsonhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.backportrc.json
.editorconfighttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.editorconfig
.editorconfighttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.editorconfig
.gitignorehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.gitignore
.gitignorehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.gitignore
.go-versionhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.go-version
.go-versionhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.go-version
.goreleaser.ymlhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.goreleaser.yml
.goreleaser.ymlhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.goreleaser.yml
.mergify.ymlhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.mergify.yml
.mergify.ymlhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.mergify.yml
.pre-commit-config.yamlhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.pre-commit-config.yaml
.pre-commit-config.yamlhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.pre-commit-config.yaml
.stack-versionhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.stack-version
.stack-versionhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.stack-version
LICENSE.txthttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/LICENSE.txt
LICENSE.txthttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/LICENSE.txt
Makefilehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/Makefile
Makefilehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/Makefile
NOTICE.txthttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/NOTICE.txt
NOTICE.txthttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/NOTICE.txt
QUICKSTART.mdhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/QUICKSTART.md
QUICKSTART.mdhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/QUICKSTART.md
README.mdhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/README.md
README.mdhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/README.md
commons.mkhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/commons.mk
commons.mkhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/commons.mk
go.modhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/go.mod
go.modhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/go.mod
go.sumhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/go.sum
go.sumhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/go.sum
READMEhttps://patch-diff.githubusercontent.com/elastic/e2e-testing
Licensehttps://patch-diff.githubusercontent.com/elastic/e2e-testing
Securityhttps://patch-diff.githubusercontent.com/elastic/e2e-testing
https://patch-diff.githubusercontent.com/elastic/e2e-testing#this-repo-is-no-longer-maintained-and-has-been-archived
https://beats-ci.elastic.co/job/e2e-tests/job/e2e-testing-mbp/job/main/
https://patch-diff.githubusercontent.com/elastic/e2e-testing#end-2-end-tests-for-the-observability-projects
CI Infrastructurehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.ci/README.md
Go libraryhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/cli/README.md
test frameworkhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/e2e/README.md
Kubernetes Autodiscoverhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/e2e/_suites/kubernetes-autodiscover
Fleethttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/e2e/_suites/fleet
collection of utilities and helpers used in testshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/internal
the quickstart guidehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/QUICKSTART.md
the "running the tests" guidehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.ci/README.md
https://patch-diff.githubusercontent.com/elastic/e2e-testing#behaviour-driven-development-and-this-test-framework
Cucumberhttps://cucumber.io
Gherkinhttps://cucumber.io/docs/gherkin/reference/
Godoghttps://github.com/cucumber/godog
herehttps://github.com/cucumber/godog#running-godog-with-go-test
https://patch-diff.githubusercontent.com/elastic/e2e-testing#statements-about-the-test-framework
pact.iohttps://pact.io
kibanahttps://github.com/elastic/kibana/pull/80384
this repohttps://github.com/elastic/e2e-testing/pull/339
https://patch-diff.githubusercontent.com/elastic/e2e-testing#building
goreleaser installationhttps://goreleaser.com/install/
https://patch-diff.githubusercontent.com/elastic/e2e-testing#contributing
https://patch-diff.githubusercontent.com/elastic/e2e-testing#pre-commit
pre-commithttps://pre-commit.com/
configuration filehttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.pre-commit-config.yml
https://patch-diff.githubusercontent.com/elastic/e2e-testing#backports
https://patch-diff.githubusercontent.com/elastic/e2e-testing#mergify-
.mergify.ymlhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/blob/main/.mergify.yml
https://patch-diff.githubusercontent.com/elastic/e2e-testing#backportrc-
backporthttps://www.npmjs.com/package/backport
https://patch-diff.githubusercontent.com/elastic/e2e-testing#generating-documentation-about-the-specifications
https://patch-diff.githubusercontent.com/elastic/e2e-testing#noticing-the-test-framework
https://patch-diff.githubusercontent.com/elastic/e2e-testing#contributors-and-maintenance
https://patch-diff.githubusercontent.com/elastic/e2e-testing#licensing
https://www.elastic.co/licensing/elastic-licensehttps://www.elastic.co/licensing/elastic-license
golang https://patch-diff.githubusercontent.com/topics/golang
bdd https://patch-diff.githubusercontent.com/topics/bdd
cucumber https://patch-diff.githubusercontent.com/topics/cucumber
poc https://patch-diff.githubusercontent.com/topics/poc
godog https://patch-diff.githubusercontent.com/topics/godog
Readme https://patch-diff.githubusercontent.com/elastic/e2e-testing#readme-ov-file
View license https://patch-diff.githubusercontent.com/elastic/e2e-testing#License-1-ov-file
Security policy https://patch-diff.githubusercontent.com/elastic/e2e-testing#security-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/elastic/e2e-testing
Activityhttps://patch-diff.githubusercontent.com/elastic/e2e-testing/activity
Custom propertieshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/custom-properties
24 starshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/stargazers
259 watchinghttps://patch-diff.githubusercontent.com/elastic/e2e-testing/watchers
40 forkshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Felastic%2Fe2e-testing&report=elastic+%28user%29
Releases 13https://patch-diff.githubusercontent.com/elastic/e2e-testing/releases
v1.2.3 Latest Jul 18, 2024 https://patch-diff.githubusercontent.com/elastic/e2e-testing/releases/tag/v1.2.3
+ 12 releaseshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/releases
Please reload this pagehttps://patch-diff.githubusercontent.com/elastic/e2e-testing
Contributors 38https://patch-diff.githubusercontent.com/elastic/e2e-testing/graphs/contributors
Please reload this pagehttps://patch-diff.githubusercontent.com/elastic/e2e-testing
+ 24 contributorshttps://patch-diff.githubusercontent.com/elastic/e2e-testing/graphs/contributors
Go 83.4% https://patch-diff.githubusercontent.com/elastic/e2e-testing/search?l=go
Gherkin 4.7% https://patch-diff.githubusercontent.com/elastic/e2e-testing/search?l=gherkin
Groovy 4.6% https://patch-diff.githubusercontent.com/elastic/e2e-testing/search?l=groovy
Makefile 3.1% https://patch-diff.githubusercontent.com/elastic/e2e-testing/search?l=makefile
Shell 2.9% https://patch-diff.githubusercontent.com/elastic/e2e-testing/search?l=shell
Dockerfile 1.0% https://patch-diff.githubusercontent.com/elastic/e2e-testing/search?l=dockerfile
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.