Name		Name	Last commit message	Last commit date
parent directory ..
expect		expect
README.md		README.md
analysis.go		analysis.go
analysis_test.go		analysis_test.go
doc.go		doc.go
dot.go		dot.go
dot_test.go		dot_test.go
inline.go		inline.go
inline_test.go		inline_test.go
mermaid.go		mermaid.go
mermaid_test.go		mermaid_test.go
spec-html.css		spec-html.css
spec-html.go		spec-html.go
spec-html.js		spec-html.js
spec-html_test.go		spec-html_test.go

README.md

Some machine tools

"Expect"

This tool facilitates Machine Spec testing.

See the godoc for Session, and see ../cmd/mexpect.

Generate a Graphviz dot file for a spec

See dot.go.

Analyze a spec

See analyze.go and analyze_test.go.

Render a spec as HTML

See spec-html*.*.

Usage

Copy spec-html.js and spec-html.css to ../cmd/mcrew/httpfies. Then run mcrew:

mcrew -h :9050 -f cmd/mcrew/httpfiles/

Then try http://localhost:9050/specs/double.html.