Feature #1672
Updated by Pavel Shved over 13 years ago
As far as I recall, our Aspectator tool has a tricky and somewhat inconvenient interface. Ideally, it should be called like this:
<pre>
aspectator first.aspect second.aspect ... last.aspect -I /path/ ... file1.c file2.c ... (usual C compiler options)
</pre>
And the result should appear in the output @-o@ file (or in @a.out@), all temporary directories being created automatically in the proper places. Such a simple interface is required for:
* publishing our tools to the external users
* for us, to make experimentation with verifiers easier (i.e. without building a comprehensive rule models).