The guide reads in https://github.com/src-d/guide/blob/master/engineering/conventions/go.md#docker that src-d/ci sets CGO_ENABLED to 0, however this is not the case for src-d/v1 anymore.

Some people complain about the size of the docs.
We need to create a smaller version. With just the most important parts.

We can use it for onboarding and as a policy.

...and populate with at least five quick wins (e.g. sudo -l showing some or full permission).

Using the SystemC statement

head = (head + 1) % 3;

causes the PrintITL to print the line

at t_end: head = ((1 + head_at_t)(31 downto 0) mod 3)(31 downto 0);

in the respective property. Onespin reports this line with the following output:

-E- FIFO.vhi:119:58 Slice expression is out of range.
type: unsigned(1 downto 0)
slice: 31 downto 0
: at t_end: from_re