commit | ca67034c2f928b032a40f18b883b66af3473c2c0 | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sun May 02 12:02:02 2021 +0100 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sun May 02 12:02:02 2021 +0100 |
tree | cadf5286cfa2afb6234b6a0a9380fe24bc64b325 | |
parent | 97f8383b83d90dbc549bc75b239ee394e3ec894d [diff] |
Clarified that exported match trace is a variable and fixed storeModel Signed-off-by: Dimitris Kolovos <dkolovos@cs.york.ac.uk>