Ankush Desai
Ankush Desai
I tried to see if other implementations of this function has similar behavior and I notice that the cockroachDB `getJoins` function is different: https://github.com/sqlancer/sqlancer/blob/master/src/sqlancer/cockroachdb/oracle/CockroachDBNoRECOracle.java#L67 Here you are trying to generate...
I can fix it and be a contributor ;). Thanks for confirming, this is not a blocker for us.
Sorry, for the incomplete information. I have a P program with following state: `state X { entry { } on null goto X; } ` on running PSharpTester with coverage...
Thanks @KelvinLi2020, I will update the code to generate better error message to give hint to programmers to add the `creates` annotation.
Good point! I have always been scared of adding any optimization into the compiler until really needed. Performance has never been a concern for the generated code so far (not...
This is so cool! thanks for the study @dijkstracula, love it!
Are there similar optimization flags that we can use for C# compiler as well?
Hey @dijkstracula, thanks! Yeah, the current indentation logic is the simplest one that works in most cases 😸 . If you have a quick fix for this please create a...
I didnt completely understand your question. The message is received by the machine that invokes the function that has a receive in it.