c4t-obs

README

% c4t-obs 8

NAME

c4t-obs - interpret observation files

SYNOPSIS

c4t-obs

[--show-interesting|-i]
[--show-postcondition|-p]

Usage:

c4t-obs [GLOBAL OPTIONS] command [COMMAND OPTIONS] [ARGUMENTS...]

GLOBAL OPTIONS

--show-interesting, -i: print a summary of any 'interesting' states observed

--show-postcondition, -p: print a Litmus (forall, sum of products) postcondition capturing the states observed