PSharp
PSharp copied to clipboard
p-org
A framework for rapid development of reliable asynchronous software.
Support the following: `on e goto S with foo;` and: `on e push S with foo;`
When the production runtime fails, any machine doing a Receive will hang forever. Can we cleanly terminate all machines, like we do in the test runtime?
Assume constraints on events, when they fail, should raise an exception that is caught by the tester and suppressed. The error should not propagate to the user. See [here](https://github.com/p-org/PSharp/blob/master/Source/Core/Runtime/Machines/Machine.cs#L617). We...
Code coverage results refer to the generated .psharp.cs file. It would be good to map the coverage back to the source .psharp file.
`PSharpTestser` currently loads `appSettings` from the `.config` file of the assembly under test. But other things (like assembly bindings) are not loaded.
Some patterns should be avoided when writing programs with P# (especially as some of them can break our controlled testing infrastructure). We should make sure to document these.
Using .NET Core, `PSharpTester` currently works only in sequential mode (no portfolio or parallel testing). The reason is that WCF (which we are currently using to spawn and control multiple...
When a user machine class declares an `Initialize` method with the same prototype as the `Initialize` method of the `Machine` class, then machine instantiation fails. I am yet to contruct...
When an input psharp program has `jump()` without arguments then `PSharpSyntaxRewriter` crashes inside the `Rewrite` method of `GotoStateRewriter`. It expects to see one argument, which isn't there: ``` var arg...