Commit 7cf2db21 by Simon Welsh

Use printf format for invariant message

Fixes #17
1 parent 31d1d207
Pipeline #168 for 7cf2db21 passed in 3 minutes 40 seconds