Pantazis Deligiannis
Pantazis Deligiannis
It could round-robin between random, fairpct, etc. Should probably be the default.
We should support rewriting and testing the following: ```csharp Task task = new Task(...); task.Start(); ``` Including nested tasks (e.g. Task).
Low-priority proposal. It would be nice to have attributes and syntax extensions that simplify using the new built-in timers. For example, instead of the user having to explicitly handle a...
Right now, liveness heuristics are setup at the `PSharpTester` level, we should instead setup them (as well as any other heuristics) inside the `TestingServices` library. The reason behind this is...
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...
There is an issue currently (that @shazqadeer faces) where a NuGet dependency is not loaded by the tester, resulting into a `System.IO.FileNotFoundException`. This is related to [this](https://github.com/dotnet/corefx/issues/11639) known issue. We...
The rewriter/compiler (from the high level P# syntax to the C# library version), as well as the language services and static analysis projects in general, are not ported yet to...
The liveness temperature threshold checking is turned off silently right now, if the underlying bug-finding scheduling strategy produces unfair executions (e.g budgeted strategies). We should ideally give some warning regarding...
We should pass the event that triggered an action as the parameter to this action. The user will then declare (for example): ``` on SomeEvent do SomeAction; SomeAction(SomeEvent e) {...