Re: [tlaplus] Video Tutorial Series Lecture 4

[Sean Peisert <sppeisert@xxxxxxx>]

Typo on my part; apologies.  It is now working.

Sean

> On Jul 18, 2022, at 1:24 PM, Sean Peisert <sppeisert@xxxxxxx> wrote:
> 
> I see the same issue.
> 
> Sean
> 
> On Saturday, May 28, 2022 at 4:20:36 AM UTC-7 sanka...@xxxxxxxxx wrote:
> Markus,
> 
> Nothing shows up when I click the errors link.
> 
> Ravi
> 
> On Friday, May 27, 2022 at 8:07:04 PM UTC+5:30 Markus Alexander Kuppe wrote:
> Hi Ravi, 
> 
> what happens if you click on the “Error” notification on the model editor’s result page? 
> 
> Markus 
> 
> > On May 27, 2022, at 5:43 AM, Ravi Shankar <sanka...@xxxxxxxxx> wrote: 
> > 
> > I was following along on the Die Hard 4 Gallon problem. What I noticed with my version (details below) is that when I invoke the model checker with both the invariant conditions, I see error notification but I can't see the errors details screen as was shown in the video. I am on Mac Catalina 10.15.7 version. The tool details are given below as I gathered from about toolbox dialog 
> > 
> > TLA+ Toolbox provides a user interface for TLA+ Tools. 
> > 
> > This is Version 1.7.1 of 31 December 2020 and includes: 
> > - SANY Version 2.2 of 20 April 2020 
> > - TLC Version 2.16 of 31 December 2020 
> > - PlusCal Version 1.11 of 31 December 2020 
> > - TLATeX Version 1.0 of 20 September 2017 
> > 
> > Any suggestions? 
> > 
> > Thanks in advance. 
> 
> -- 
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
> To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/818b4a5d-8a9d-4050-a240-c7e2fc728677n%40googlegroups.com.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/10E7DD31-A5AE-4D1C-B485-DD995E45B77A%40lbl.gov.