spot (7) is incomplete
The autcross
, genaut
, and ltlsynt
tools are not mentioned in the spot man page.
tests/sanity/bin.test
should ensure we do not forget that in the future.
This should be fixed in two separate patches, because master does not have ltlsynt
.