Add Julia's Supposition to list.

stevana · Jul 7, 2024 · 729876d · 729876d
1 parent f4dbae3
commit 729876d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/README-unprocessed.md b/README-unprocessed.md
@@ -172,6 +172,7 @@ important omission.
 | Rapid | Go | ☒ | ☐ | |
 | RapidCheck | C++ | ☒ | ☐ | There's an open [issue](https://github.com/emil-e/rapidcheck/issues/47) to add parallel support from 2015. |
 | ScalaCheck | Scala | ☒ | ☐ | Has some support for parallel testing, but it's limited as can be witnessed by the fact that the two [examples](https://github.com/typelevel/scalacheck/tree/19af6eb656ba759980664e29ec6ae3e063021685/examples) of testing LevelDB and Redis both are sequential (`threadCount = 1`). |
+| Supposition | Julia | ☒ | ☐ | The stateful testing lacks a proper [interface](https://github.com/Seelengrab/Supposition.jl/discussions/26) though. |
 | SwiftCheck | Swift | ☐ | ☐ | There's an open [issue](https://github.com/typelift/SwiftCheck/issues/149) to add stateful testing from 2016. |
 | fast-check | TypeScript | ☒ | ☐ | Has [some support](https://fast-check.dev/docs/advanced/race-conditions/) for race condition checking, but it seems different from Quviq QuickCheck's parallel testing. In particular it doesn't seem to reuse the sequential state machine model nor use linearisability. |
 | jetCheck | Java | ☒ | ☐ | From the source code "Represents an action with potential side effects, for single-threaded property-based testing of stateful systems.". |

diff --git a/README.md b/README.md
@@ -187,6 +187,7 @@ mistake or an important omission.
 | Rapid                    | Go         |    ☒     |    ☐     |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
 | RapidCheck               | C++        |    ☒     |    ☐     | There's an open [issue](https://github.com/emil-e/rapidcheck/issues/47) to add parallel support from 2015.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |
 | ScalaCheck               | Scala      |    ☒     |    ☐     | Has some support for parallel testing, but it's limited as can be witnessed by the fact that the two [examples](https://github.com/typelevel/scalacheck/tree/19af6eb656ba759980664e29ec6ae3e063021685/examples) of testing LevelDB and Redis both are sequential (`threadCount = 1`).                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        |
+| Supposition              | Julia      |    ☒     |    ☐     | The stateful testing lacks a proper [interface](https://github.com/Seelengrab/Supposition.jl/discussions/26) though.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         |
 | SwiftCheck               | Swift      |    ☐     |    ☐     | There's an open [issue](https://github.com/typelift/SwiftCheck/issues/149) to add stateful testing from 2016.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |
 | fast-check               | TypeScript |    ☒     |    ☐     | Has [some support](https://fast-check.dev/docs/advanced/race-conditions/) for race condition checking, but it seems different from Quviq QuickCheck's parallel testing. In particular it doesn't seem to reuse the sequential state machine model nor use linearisability.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |
 | jetCheck                 | Java       |    ☒     |    ☐     | From the source code "Represents an action with potential side effects, for single-threaded property-based testing of stateful systems.".                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |