README
1
2Command line tool for Linux
3
4 pslcheck [-all] -sere '<SERE>' -path '<PATH>'
5 pslcheck [-all] -fl '<FL>' -path '<PATH>'
6
7The optional "-all" argument specifies that all intervals are
8checked in the case of a SERE and all path tails in the case of a
9formula.
10
11Without the "-all" arguments, the commands:
12
13 pslcheck -sere '<SERE>' -path '<PATH>'
14 pslcheck -fl '<FL>' -path '<PATH>'
15
16report "true" or "false" (or a parser or processing error).
17
18The command:
19
20 pslcheck -all -sere '<SERE>' -path '<PATH>'
21
22reports "true on intervals [m1:n1][m2:n2] ..."
23(or a parser or processing error).
24
25The command:
26
27 pslcheck -all -fl '<FL>' -path '<PATH>'
28
29reports "true at times t1,t2, ..."
30(or a parser or processing error).
31
32Arguments have to be in the order shown here.
33
34Examples:
35
36pslcheck -sere '{{a;b}@clk1;c}@clk2' -path '{clk2}{clk1,a}{a}{clk1,b,clk2}{c}{clk1}{c,clk2}{clk1}'
37pslcheck -all -sere '{{a;b}@clk1;c}@clk2' -path '{clk2}{clk1,a}{a}{clk1,b,clk2}{c}{clk1}{c,clk2}{clk1}'
38
39pslcheck -fl '(a until! b)@clk' -path '{}{clk}{}{clk,a}{a}{clk,a,b}{}{clk,b}{b}{clk}'
40pslcheck -all -fl '(a until! b)@clk' -path '{}{clk}{}{clk,a}{a}{clk,a,b}{}{clk,b}{b}{clk}'
41
42