diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-02 16:31:39 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-02 16:31:39 +0200 |
| commit | 756c17d03b94919bfeaad55e2903e56dbac807bb (patch) | |
| tree | 72f2405d6159a14817622dbd0291dc3781b1eb38 /abstract/formula.ml | |
| parent | bc679afc4ac59c256a1b5f200078e495c188d066 (diff) | |
| download | scade-analyzer-756c17d03b94919bfeaad55e2903e56dbac807bb.tar.gz scade-analyzer-756c17d03b94919bfeaad55e2903e56dbac807bb.zip | |
Add message when a step goes on BOT, ie. contradiction in assumes.
Diffstat (limited to 'abstract/formula.ml')
0 files changed, 0 insertions, 0 deletions