The P programming language.
-
Updated
Jul 1, 2021 - C#
#
systematic-testing
Here are 9 public repositories matching this topic...
Concuerror is a stateless model checking tool for Erlang programs.
testing
debugging
erlang
otp
tool
verification
systematic-testing
travis-badge
concuerror
automatic
concurrent-erlang-programs
concurrent-programming
model-checking
codecov
model-checker
codecov-badge
stateless-model-checking
erlang-versions-badge
erlang-programs
-
Updated
May 30, 2021 - Erlang
State machine and actor libraries for TypeScript/JavaScript.
-
Updated
Jul 24, 2019 - TypeScript
Language-agnostic systematic concurrency testing.
-
Updated
Jun 21, 2021 - C++
This repository is going to be the practical sample collection of P#.
-
Updated
Jul 11, 2017 - C#
This is an infrastructure to construct distributed application under the control of P#.
-
Updated
Nov 5, 2017 - C#
Archaeology: A systematic surface field survey in the Mediterranean
-
Updated
Dec 17, 2020 - Java
Some basic data structure achieves which create systematic module.
-
Updated
Jun 4, 2018 - Python
Improve this page
Add a description, image, and links to the systematic-testing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the systematic-testing topic, visit your repo's landing page and select "manage topics."
I wonder if it was considered to add a rewrite step as a MSBuild target in the NuGet package. This way calling the tool
coyote rewritewouldn't be needed as that would be done automatically once the assembly is generated.Could possibly be done if a specific property is provided like
/p:CoyoteRewrite=trueor be an opt-out whenConfiguration=Debug.