search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Use macOS runner, minor script debug output fixes #149

Closed ahelwer closed 4 months ago

ahelwer commented 4 months ago

Print out TLC command line call in smoke testing script and decode TLC output as UTF-8 if necessary. Ref #119

lemmy commented 4 months ago

What does the minor script fix do?

ahelwer commented 4 months ago

Sometimes (varies depending on OS and also way in which the process terminated) stdout is given in bytes, and sometimes it's given as a string. So this just ensures it's always printed out as a string in the smoke testing script.

lemmy commented 4 months ago

I'd suggest to make that the git commit message for that particular change.

ahelwer commented 4 months ago

Sure, I will put that in the squash commit message.