Categorygithub.com/c4-project/c4tcmdc4t-obs
package
0.0.0-20230226003218-1dd1f65bfa42
Repository: https://github.com/c4-project/c4t.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
3
Dependents
0
Files
10 SLOC

# 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