[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Video Tutorial Series Lecture 4
- From: Sean Peisert <sppeisert@xxxxxxx>
- Date: Mon, 18 Jul 2022 13:34:18 -0700
- Ironport-data: A9a23:AN9rVaxHK7zEfYEa8BN6t+fCwyrEfRIJ4+MujC+fZmUNrF6WrkUHn GQWWmrSP/aNY2vzftl+aYnjpBsCu5KBn9NmHVBs/FhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrRRbrJA24DjWVvS4 IOq+aUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPh4l s0TnqTvdz47EYHostwBUwBgISxxaPguFL/veRBTsOSWxkzCNnzlmrBgURxwMoof9eJ6R2pJ8 JT0KhhXNkHF17/wmezjDLQx7iggBJGD0Ic3pnVp1TXEFrUsR5vpb5uU3eV+8AcZqfpkIdP+P ZQ9QB9AVTniPDpoAn0+IJ05m+isi3bldCBAsxSeoq9fD237lV0vieG0aYq9ltqiHpp8kWbJ/ Gb/oUfyJE4/NoWk5RyM2yf57gPItXqjBNh6+KeD3vJrm1aO3Xc7FBkfE16gu7y4jFS/UpReL VYV82wgt8APGFeDS9D8W1i/qSfBsENBHdVXFOI+5UeGza+8Dxul6nYsR2BZNvce6/EPVxMG8 nWxg9PwPQ5iv+jAIZ6CzYu8oTS3MCkTCGYNYy4YUAcIi+UPRqlj3nojqf4zQMaIYs3J9SLYm G/V8XBv71kHpYtaiPXhpAGvbyeE/8CRFmYIChPrsnVJBz6Viaagbo2srF/StLNOcdvfQV6Gs 3wJ3cOZ6Yji7K1hdgTTEY3h/5nzvZ5p1QEwZ3YyRfHNEBzxqhaekXh4um0WGauQGp9slcXVS EHSoxhNw5RYIWGna6R6C6roVZl6lPaxTY64B6+OBjarXnSXXF/XlM2JTR7At10BbGBx+U3CE czGLpn1VShy5VpPlWLpGbp1PUAXKtAWnDuPH/gXPjyo1r2RYHP9dFv2GArmUwzN14vV8G39q o4BX+PTkkU3eLCuM0H/rN9ORXhXfChTLc6s96R/KLXYSiI4QzFJNhMk6ehJl3pNwvgOyY8lP xiVASdl9bYIrSeXcFnVMy8+MuOHsFQWhStTABHA9G2AgxALCbtDJo9GH3fuVbV4puFl09BuS PwJJ5eJDvhVE2qV9DMaYp3wo5ZlaQywwwmJOnP9MjQ4epdhQS3P+8PlL1u0r3BVUXTouJtsu aCk2yPaXYEHG1ZoAvHQZa/91Fi2p3UcxL9/UhKQcNlecUnh6qZwLCn1gqNlKs0AM0qRwjGek QmRH05A9+XKpoY09vjPhLyF9tv4TbEhQxACR2SCtOS4LyjX+Gan0LRsaufQcGCPTn7w9YWje f5Rk6P2PsoBkQsYqIF7Cbtqkf8z6ta2/O1aww1oEW/xYkyvG69nJnXaj8BDurcUmO1Wvgy5X k+A4N5HIa7PM8TgSQZDKA0gZ+WF9PcVhjiDva9ueR6lunB6rOidTEFfHxiQkygBfrF7B4Uon LU6s8kM5g3j1xcnP4rUji1Q8GjQfHUMX7997cMfCY7vzw0ikxRMPMGaBSjx75WCLd5LNxByc DOTgaPDgZVax1bDIyVvTymThbIFiMRcog1OwX8DO0+NxojPiMgx0UAD6j8wVAlUkkhK3rMhP mlwK3BzPriE+zs01sFPU3ryS1NEDRyd5kujxFwOm2nUQFOvS3TWaWg0P++C8QNCrDINImUFr O7BkTimTDDxYcvq1TEzU0NNpPvkQth8+RfFhdi8Wc+CGsBiMzbih6avY0sOqgfmUJNq3xSc+ rc18bYic7D/OA4Rv7Y/V9uQ24MWRU3WP2dFW/xgoP4EEG2AKji+1SLSehKxZt9VPK6NtkCiD NF2PYRAUBOx0CvIpTceQqEWJKJs2+It7cIGZ6isPnMMqLCFrzBkvZ+MpDLygnQnH4dnnconc NiDcjuDFimXjCIRlTKQ6sZDPWW8bJ8PYwilhLK59+AAFpQituBwcBFtjuHl4S3NaAY3rQiJu A7jZrPNy7Aww4pbmYaxQL5IAB+5KI+uWemFmOxpXw+isT8S3QbyWwIpRp3POg1XOf4WUo0ym +nQ9tHw20zBsfA9VGWxd1xt0UVWzZ3aYQaVGpufwLpmce+qV8jr7B8O9Hq/NIRS1tha46FLg iOmPdCoe4d9t8h1nRVohus3L/rZI6vwaajkqCynqOmUEV4W1gmvwBZLM5P2RTkzSxLk8KESx uM5VzhCKzyYQElx6Mc4Osxb
- Ironport-hdrordr: A9a23:PdlnHaxqJOK9IeGpF3VMKrPxfuskLtp133Aq2lEZdPULSKDo7/ xGzc53pGbJYWgqMgBHpTnmAtjxfZq8z+8F3WB1B9iftWbdyR6Vxe1ZnPXfKnjbalvDHgA079 YkT0BRYOeAT2SSzvyKrjVRKr4bsZq6GdmT9KPjJ8IHd3AkV0gf1XYxNu/rKDwEeOAcP+t0KH P03KMuzEvFCA9nE7XFOpQcZZm4mzSIruOTXfdhPW9r1OCgt1KVAdXBYmqlN3klIkRyKXZLyx mhr+U73MWeWjOApCM1ZwTontRrcRfau7h+7bS3+4AowjiGsHfjWGyQMIfy9wzdadvfiidM4a XxiiZlBd167zf6f22+oxfhnynmlBg07WP6oGXowEfenQ==
- Ironport-sdr: PtN80ZIIy4vyyKIRmdFdfEd+QLJpV7MXhlCKzvqreGRbvjQDtbC/ltMSLS4VSty/9vN/4oEoih yejz8Wc0b9zfOylikNusJhm8lkM6BTrlEPOyaEzd2pK4hjpSxkzFkLLnDA6bdAFCit7xukVqwE ePiw+50D/exu9Dp+bREk2vYYAksno1tvG/rUjoTVznWiDupZL21tN6cIBf8V+8kvDhsYbHZ3T7 iFQTR4WLn37AIYEr+tVcF/CEXLY4td3HAl3ewZK75cB3qi6x4fJAN66Ef7RuH448PcvMT4wrYb s8b++J4EAgdfDLCfSVaazpze
- References: <d4bb1508-ec2f-4c89-8424-46e8bb229c07n@googlegroups.com> <3DA58A1C-3CA7-4FA7-8DB9-BA2376AFDDD8@lemmster.de> <228af0a3-b3eb-4b11-88ee-24bce66e61d7n@googlegroups.com> <818b4a5d-8a9d-4050-a240-c7e2fc728677n@googlegroups.com>
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.