Code

History

Commits on master389
  1. persist: ensure we never try to use a filename that is reserved on windowsGregory Petrosyan committed 3 years agod56e037
  2. CI: test on Go 1.21Gregory Petrosyan committed 3 years agoefc31a7
  3. Ensure TB.Helper() and TB.Name() are always usableGregory Petrosyan committed 3 years ago83e77bf
  4. Accept TB and not *testing.T in Check()Gregory Petrosyan committed 3 years agof4756c7
  5. Simplify tbGregory Petrosyan committed 3 years ago2fe187c
  6. Don't complain about bitstream usage for discarded groupsGregory Petrosyan committed 3 years agoad51225
  7. Fix linter complaints in markdownGregory Petrosyan committed 3 years ago0b3bae0
  8. Better error message about no valid actionsGregory Petrosyan committed 3 years agod59a388
  9. Always log from a fuzz targetGregory Petrosyan committed 3 years ago86ebb4c
  10. README: bring back the comparison sectionGregory Petrosyan committed 3 years agob1b4705
  11. Add FAQ entry about fuzzingGregory Petrosyan committed 3 years ago0489b8c
  12. README: stability noteGregory Petrosyan committed 3 years ago478e91c
  13. Reorder docsGregory Petrosyan committed 3 years agoa8e1857
  14. Move Ptr in docsGregory Petrosyan committed 3 years ago6c8f724
  15. Move string generators in docsGregory Petrosyan committed 3 years ago15e8987
  16. Reworked documentationGregory Petrosyan committed 3 years agod15e6a9
  17. Fix example nameGregory Petrosyan committed 3 years ago26f3bd5
  18. Fix now-flaky testGregory Petrosyan committed 3 years ago3f13c8a
  19. Better doc wordingGregory Petrosyan committed 3 years agocffcdad
  20. Better no-actions check in Repeat()Gregory Petrosyan committed 3 years agoa832770
  21. Update playground linkGregory Petrosyan committed 3 years ago8ffc6b1
  22. Rename Run() to Repeat()Gregory Petrosyan committed 3 years ago6821166
  23. Make Run() execute a variable number of actionsGregory Petrosyan committed 3 years agoe0500eb
  24. Log microseconds and unify log formatsGregory Petrosyan committed 3 years agob23ed95
  25. Re-run fail files from testdata/rapid automaticallyGregory Petrosyan committed 3 years ago4db076b
  26. Update statemachine playground link in READMEGregory Petrosyan committed 3 years agodab278f
  27. Adjust number of checks performed based on the test deadlineGregory Petrosyan committed 3 years ago4391f11
  28. Unify doCheck() and findBug() signatures a bitGregory Petrosyan committed 3 years agofb1fa8b
  29. Add StateMachineActions() helperGregory Petrosyan committed 3 years ago95d7a39
  30. Fixup example nameGregory Petrosyan committed 3 years ago69db632
  31. Revert to a bit more readable queue testsGregory Petrosyan committed 3 years ago6e240b6
  32. Better state machine tests via t.Run()Gregory Petrosyan committed 3 years ago330a5fd
  33. Improve newMakeGen correctness in corner casesGregory Petrosyan committed 3 years agoa843ec6
  34. Fix Make[] for wrapper typesGregory Petrosyan committed 3 years agob1cb187
  35. CI: test on Go 1.20Gregory Petrosyan committed 3 years agob561020

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t