5 Apr
2019
5 Apr
'19
8:05 a.m.
On Fri, Apr 5, 2019 at 3:16 AM Stephen Siegel <siegel(a)udel.edu> wrote:
Question about the command line interface. I know something like
ltlfilt -f 'a U (b U a)' --equivalent-to 'b U a’
can be used to determine if two LTL formulas are equivalent.
Is there a way to do that if both formulas are in files?
From the man page I could only see how to make the first formula come from a file (-F).
ltlfilt -F file1 --equivalent-to "$(cat file2)"
will display all formulas in file1 that are equivalent to the formula in file2.
The main use-case for -F is batching operations on several formulas,
so it's not syntactic sugar over -f "$(cat file1)" in general.
--
Alexandre Duret-Lutz