GitHub - NonSynthetic/ba-concurrency-harness: Concurrency-bug hunt harness: 50 synthetic agents, 11.9k actions, invariant checker + seeded-race demo (localhost-only) · GitHub

Repository navigation

ba-concurrency-harness

Public

About

Concurrency-bug hunt harness: 50 synthetic agents, 11.9k actions, invariant checker + seeded-race demo (localhost-only)

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
README_v2.md		README_v2.md
REPORT.md		REPORT.md
actions_log.jsonl		actions_log.jsonl
actions_log.jsonl.gz		actions_log.jsonl.gz
actions_sample.jsonl		actions_sample.jsonl
check_out.txt		check_out.txt
findings.jsonl		findings.jsonl
harness.py		harness.py
races.jsonl		races.jsonl
repro_multi_claimer.py		repro_multi_claimer.py
repro_run.txt		repro_run.txt
seeded_race.patch		seeded_race.patch
seedrace_state.json		seedrace_state.json
tick_cron.ts		tick_cron.ts

About

Concurrency-bug hunt harness: 50 synthetic agents, 11.9k actions, invariant checker + seeded-race demo (localhost-only)

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages