Use of IO in SPARK 2014
- I have created a small wrapper class for IO which has been
added to the examples located at
- It's easiest to download the whole
to which those new directories have been added.
Linux will ask you to open it with a system which allows to extract (similar
to winzip under windows but free software).
- Simple examples test_string_io and test_integer_io of using
IO can be found at
- A toy example of a critical system (very simple) can be found at
Last modified: Thu No 26 09:39:23 GMT 2015