You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
153 B
11 lines
153 B
psl_tests := \
|
|
psl_always \
|
|
psl_never \
|
|
psl_next \
|
|
psl_next_3 \
|
|
psl_next_a \
|
|
psl_next_event \
|
|
psl_next_event_4 \
|
|
psl_until \
|
|
psl_before \
|
|
psl_eventually
|