On Fri, Oct 23, 2020 at 9:57 PM Gedare Bloom wrote:
> On Fri, Oct 23, 2020 at 9:37 AM Utkarsh Rai
> wrote:
> >
> >
> >
> > On Thu, Oct 22, 2020 at 11:23 PM Sebastian Huber <
> sebastian.hu...@embedded-brains.de> wrote:
> >>
> >> On 22/10/2020 02:40, Utkarsh Rai wrote:
> >>
> >> > Hello, this thr
On Fri, Oct 23, 2020 at 9:37 AM Utkarsh Rai wrote:
>
>
>
> On Thu, Oct 22, 2020 at 11:23 PM Sebastian Huber
> wrote:
>>
>> On 22/10/2020 02:40, Utkarsh Rai wrote:
>>
>> > Hello, this thread has gone a bit cold over the last few weeks, due to
>> > my engagement in the university tests. I have pr
On Thu, Oct 22, 2020 at 11:23 PM Sebastian Huber <
sebastian.hu...@embedded-brains.de> wrote:
> On 22/10/2020 02:40, Utkarsh Rai wrote:
>
> > Hello, this thread has gone a bit cold over the last few weeks, due to
> > my engagement in the university tests. I have provided a debug trace
> > for the
Hi Gedare,
thanks for your analysis and comments!
> On 22 Oct 2020, at 17:22, Gedare Bloom wrote:
>
> For standalone tools it is really your choice. We would prefer
> adoption of an easily maintained style consistent with some kind of
> sane default.
Given that Promela is based on C with the
Hi Joel,
> On 22 Oct 2020, at 17:13, Joel Sherrill wrote:
>
> Please not the first. Looks like a documentation bug to me.
Phew! I was hoping for that response.
>
> Please feel free to submit a patch and ticket for this.
Sure - thing - so now I will have to look at the how-tos for these ...
