Skip to content

Conversation

markhannum
Copy link
Contributor

Jepsen tests verify linearizable isolation

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 0/0 tests failed ⚠.

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 0/0 tests failed ⚠.

@markhannum markhannum force-pushed the jepsen branch 2 times, most recently from 71a786f to 154a2c7 Compare August 8, 2025 00:38
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 0/0 tests failed ⚠.

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 0/0 tests failed ⚠.

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 0/0 tests failed ⚠.

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 510/632 tests failed ⚠.

The first 10 failing tests are:
sc_lotsoftables
sc_truncate
jepsen_register_nemesis
jepsen_bank_nemesis
jepsen_sets_nemesis
jepsen_sets
jepsen_register
jepsen_g2
jepsen_dirty_reads
jepsen_bank

@markhannum markhannum force-pushed the jepsen branch 3 times, most recently from de6dc9f to 597c668 Compare August 8, 2025 18:27
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 515/632 tests failed ⚠.

The first 10 failing tests are:
sc_lotsoftables
jepsen_register_nemesis
jepsen_bank_nemesis
jepsen_sets_nemesis
jepsen_sets
jepsen_register
jepsen_g2
jepsen_bank
jepsen_atomic_writes
jepsen_dirty_reads

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 515/632 tests failed ⚠.

The first 10 failing tests are:
sc_lotsoftables
sc_truncate_multiddl_generated
jepsen_register_nemesis
jepsen_bank_nemesis
jepsen_sets_nemesis
jepsen_sets
jepsen_register
jepsen_g2
jepsen_dirty_reads
jepsen_bank

@markhannum markhannum force-pushed the jepsen branch 4 times, most recently from aa89f96 to 844feea Compare August 9, 2025 22:46
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 0/0 tests failed ⚠.

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 0/0 tests failed ⚠.

@markhannum markhannum force-pushed the jepsen branch 5 times, most recently from 60ebfe1 to 079b935 Compare August 10, 2025 14:48
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 9/626 tests failed ⚠.

The first 10 failing tests are:
sc_lotsoftables_logicalsc_generated
sc_truncate
jepsen_sets
jepsen_register
jepsen_g2
jepsen_dirty_reads
jepsen_bank
jepsen_atomic_writes
jepsen_a6

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 0/0 tests failed ⚠.

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 0/0 tests failed ⚠.

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 135/626 tests failed ⚠.

The first 10 failing tests are:
sc_lotsoftables
queuedb_rollover
jepsen_sets
jepsen_register
jepsen_g2
jepsen_dirty_reads
jepsen_atomic_writes
jepsen_bank
jepsen_a6
pmux_sqlite_memory_generated

Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 0/0 tests failed ⚠.

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.

2 participants