diff tests/test-convert-tla.t @ 51578:231a92eb1936

phases: more compact error handling in analyzeremotephases using an intermediate variable result in more readable code, so let us use it.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Fri, 05 Apr 2024 11:17:25 +0200
parents 561a019c0268
children
line wrap: on
line diff