Merge branch 'clean-test-19' into 'master'

Update for clean-platform!167

See merge request !20
2 jobs for master in 30 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
failed #22526
test

00:00:30

failed #22517
test

00:00:31

 
Name Stage Failure
failed
test Test There is an unknown failure, please try again
Linking...
Warning: Unable to setup directory cache: '/opt/clean/lib/Gast/Clean System Files'.
Linking 'test0.exe'
[test0.exe,]: does not exist. Linking new executable.
Finished making.
$ clm -IL Platform -I ../Libraries with_options
Error [with_options.icl,41,JSONEncode]: JSONEncode undefined generic function
Compiling with_options
ERROR: Job failed: exit code 1