Start writing documentation (clean-test#15)

1 job for master in 48 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
failed #25608
build

00:00:48

 
Name Stage Failure
failed
build Test
Analyzing 'testproperties'. 
[testproperties.icl,]: no abc file
Compiling 'testproperties'.
Error [testproperties.icl,317,]: invariants selector not defined
Linking...
Finished making.
Makefile:9: recipe for target 'testproperties' failed
make: *** [testproperties] Error 255
ERROR: Job failed: exit code 1