README.md 447 Bytes
Newer Older
Maxime Perrotin's avatar
Maxime Perrotin committed
1 2
This directory contains the code for the TASTE Property Parser and code generator

3
Install by typing:
Maxime Perrotin's avatar
Maxime Perrotin committed
4 5 6 7 8
    
    $ make install 

You must first install opengeode, which is a required dependency

9 10 11 12
Test your setup with:

    $ make test

Maxime Perrotin's avatar
Maxime Perrotin committed
13
(c) European Space Agency, 2017
Maxime Perrotin's avatar
Maxime Perrotin committed
14 15 16
Author: Maxime Perrotin


Maxime Perrotin's avatar
Maxime Perrotin committed
17 18
AS OF 21-02-2017 THIS REPOSITORY IS DEPRECATED AND NOT FURTHER UPDATED
Future work is done in https://gitrepos.estec.esa.int/taste/taste-model-checker.git