Open-Source Projects: Issues
https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2020-10-01T07:46:56Z
Open-Source Projects
Redmine
Veritool - Task #10507 (New): Introduce versions and close the resolved issues
https://forge.ispras.ru/issues/10507
2020-10-01T07:46:56Z
Alexander Kamkin
askamkin@gmail.com
<p>I suggest (1) introducing versions (0.1, 0.2, etc.) to group delivery files and (2) closing the resolved issues.</p>
Veritool - Bug #10506 (Resolved): Veritool does not support escaped identifiers
https://forge.ispras.ru/issues/10506
2020-10-01T07:41:54Z
Alexander Kamkin
askamkin@gmail.com
<p>Veritool does not support escaped identifiers, such as \begin (see the standard).</p>
C++TESK Testing ToolKit - Bug #9297 (New): Ошибка сборки cpptesk-toolkit-src-1.0.24-beta-140522
https://forge.ispras.ru/issues/9297
2018-10-04T12:48:43Z
Nikita Chertok
chertokn96@gmail.com
<p>При запуске скрипта сборки install.sh обнаруживаются ошибки в файле ./cpptesk/cpplib/utils/utils.hpp в строках 22, 29, 36, 43.</p>
<p>Версия gcc: <br />gcc (Ubuntu 5.4.0-6ubuntu1~16.04.10) 5.4.0 20160609</p>
<p>Для исправления ошибок достаточно в файле заменить строки<br /><pre><code class="c syntaxhl" data-language="c"> <span class="k">typedef</span> <span class="k">struct</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">0</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
</code></pre></p>
<p>на<br /><pre><code class="c syntaxhl" data-language="c"> <span class="k">typedef</span> <span class="k">struct</span> <span class="n">type</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">0</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
</code></pre></p>
<p>Лог сборки:</p>
<pre><code class="c syntaxhl" data-language="c"><span class="n">tput</span> <span class="n">is</span> <span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">anaconda3</span><span class="o">/</span><span class="n">bin</span><span class="o">/</span><span class="n">tput</span>
<span class="p">[</span><span class="n">INFO</span><span class="p">]</span> <span class="n">C</span><span class="o">++</span><span class="n">TESK</span> <span class="n">Testing</span> <span class="n">ToolKit</span> <span class="n">installation</span> <span class="n">started</span><span class="p">.</span> <span class="n">Please</span><span class="p">,</span> <span class="n">wait</span><span class="p">...</span>
<span class="n">tput</span> <span class="n">is</span> <span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">anaconda3</span><span class="o">/</span><span class="n">bin</span><span class="o">/</span><span class="n">tput</span>
<span class="n">chmod</span> <span class="o">+</span><span class="n">x</span> <span class="n">ctesk</span><span class="o">/</span><span class="n">bin</span><span class="o">/*</span><span class="p">.</span><span class="n">sh</span> <span class="n">ctesk</span><span class="o">/</span><span class="n">bin</span><span class="o">/</span><span class="n">secc</span>
<span class="n">cd</span> <span class="n">ctesk</span><span class="o">/</span><span class="n">lib</span><span class="o">/</span><span class="n">src</span><span class="p">;</span> <span class="n">make</span> <span class="n">all</span>
<span class="n">make</span><span class="p">[</span><span class="mi">1</span><span class="p">]</span><span class="o">:</span> <span class="n">Entering</span> <span class="n">directory</span> <span class="err">'</span><span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">ispras</span><span class="o">/</span><span class="n">cpptesk</span><span class="o">-</span><span class="n">toolkit</span><span class="o">-</span><span class="n">src</span><span class="o">-</span><span class="mi">1</span><span class="p">.</span><span class="mi">0</span><span class="p">.</span><span class="mi">24</span><span class="o">-</span><span class="n">beta</span><span class="o">-</span><span class="mi">140522</span><span class="o">/</span><span class="n">ctesk</span><span class="o">/</span><span class="n">lib</span><span class="o">/</span><span class="n">src</span><span class="err">'</span>
<span class="n">make</span><span class="p">[</span><span class="mi">1</span><span class="p">]</span><span class="o">:</span> <span class="n">Nothing</span> <span class="n">to</span> <span class="n">be</span> <span class="n">done</span> <span class="k">for</span> <span class="err">'</span><span class="n">all</span><span class="err">'</span><span class="p">.</span>
<span class="n">make</span><span class="p">[</span><span class="mi">1</span><span class="p">]</span><span class="o">:</span> <span class="n">Leaving</span> <span class="n">directory</span> <span class="err">'</span><span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">ispras</span><span class="o">/</span><span class="n">cpptesk</span><span class="o">-</span><span class="n">toolkit</span><span class="o">-</span><span class="n">src</span><span class="o">-</span><span class="mi">1</span><span class="p">.</span><span class="mi">0</span><span class="p">.</span><span class="mi">24</span><span class="o">-</span><span class="n">beta</span><span class="o">-</span><span class="mi">140522</span><span class="o">/</span><span class="n">ctesk</span><span class="o">/</span><span class="n">lib</span><span class="o">/</span><span class="n">src</span><span class="err">'</span>
<span class="n">tput</span> <span class="n">is</span> <span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">anaconda3</span><span class="o">/</span><span class="n">bin</span><span class="o">/</span><span class="n">tput</span>
<span class="p">[</span><span class="n">INFO</span><span class="p">]</span> <span class="n">Component</span> <span class="n">named</span> <span class="n">CTESK</span> <span class="n">has</span> <span class="n">been</span> <span class="n">compiled</span><span class="p">.</span> <span class="n">Work</span> <span class="n">in</span> <span class="n">progress</span><span class="p">...</span>
<span class="n">tput</span> <span class="n">is</span> <span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">anaconda3</span><span class="o">/</span><span class="n">bin</span><span class="o">/</span><span class="n">tput</span>
<span class="n">export</span> <span class="n">CTESK_HOME</span><span class="o">=</span><span class="s">"`pwd`/ctesk"</span><span class="p">;</span> <span class="n">export</span> <span class="n">ASPECTRACE_HOME</span><span class="o">=</span><span class="s">"`pwd`/netfsm/aspectrace/src/c"</span><span class="p">;</span> <span class="n">cd</span> <span class="n">cpptesk</span><span class="o">/</span><span class="n">cpplib</span><span class="p">;</span> <span class="n">make</span> <span class="n">all</span>
<span class="n">make</span><span class="p">[</span><span class="mi">1</span><span class="p">]</span><span class="o">:</span> <span class="n">Entering</span> <span class="n">directory</span> <span class="err">'</span><span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">ispras</span><span class="o">/</span><span class="n">cpptesk</span><span class="o">-</span><span class="n">toolkit</span><span class="o">-</span><span class="n">src</span><span class="o">-</span><span class="mi">1</span><span class="p">.</span><span class="mi">0</span><span class="p">.</span><span class="mi">24</span><span class="o">-</span><span class="n">beta</span><span class="o">-</span><span class="mi">140522</span><span class="o">/</span><span class="n">cpptesk</span><span class="o">/</span><span class="n">cpplib</span><span class="err">'</span>
<span class="n">g</span><span class="o">++</span> <span class="o">-</span><span class="n">I</span><span class="p">.</span> <span class="o">-</span><span class="n">I</span><span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">ispras</span><span class="o">/</span><span class="n">cpptesk</span><span class="o">-</span><span class="n">toolkit</span><span class="o">-</span><span class="n">src</span><span class="o">-</span><span class="mi">1</span><span class="p">.</span><span class="mi">0</span><span class="p">.</span><span class="mi">24</span><span class="o">-</span><span class="n">beta</span><span class="o">-</span><span class="mi">140522</span><span class="o">/</span><span class="n">ctesk</span><span class="o">/</span><span class="n">lib</span><span class="o">/</span> <span class="o">-</span><span class="n">I</span><span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">ispras</span><span class="o">/</span><span class="n">cpptesk</span><span class="o">-</span><span class="n">toolkit</span><span class="o">-</span><span class="n">src</span><span class="o">-</span><span class="mi">1</span><span class="p">.</span><span class="mi">0</span><span class="p">.</span><span class="mi">24</span><span class="o">-</span><span class="n">beta</span><span class="o">-</span><span class="mi">140522</span><span class="o">/</span><span class="n">ctesk</span><span class="o">/</span><span class="n">lib</span><span class="o">/</span><span class="n">src</span> <span class="o">-</span><span class="n">I</span><span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">ispras</span><span class="o">/</span><span class="n">cpptesk</span><span class="o">-</span><span class="n">toolkit</span><span class="o">-</span><span class="n">src</span><span class="o">-</span><span class="mi">1</span><span class="p">.</span><span class="mi">0</span><span class="p">.</span><span class="mi">24</span><span class="o">-</span><span class="n">beta</span><span class="o">-</span><span class="mi">140522</span><span class="o">/</span><span class="n">netfsm</span><span class="o">/</span><span class="n">aspectrace</span><span class="o">/</span><span class="n">src</span><span class="o">/</span><span class="n">c</span> <span class="o">-</span><span class="n">g3</span> <span class="o">-</span><span class="n">Wall</span> <span class="o">-</span><span class="n">DATL_CLONE_DISABLE</span> <span class="o">-</span><span class="n">DUSE_FOPEN64</span> <span class="o">-</span><span class="n">DCPPTESK_BUILD_WITH_OLD_ASPECTRACE_PATH</span> <span class="o">-</span><span class="n">fPIC</span> <span class="o">-</span><span class="n">c</span> <span class="n">tracer</span><span class="o">/</span><span class="n">tracer</span><span class="p">.</span><span class="n">cpp</span> <span class="o">-</span><span class="n">o</span> <span class="n">tracer</span><span class="o">/</span><span class="n">tracer</span><span class="p">.</span><span class="n">o</span>
<span class="n">In</span> <span class="n">file</span> <span class="n">included</span> <span class="n">from</span> <span class="p">.</span><span class="o">/</span><span class="n">ts</span><span class="o">/</span><span class="n">coverage</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">6</span><span class="o">:</span><span class="mi">0</span><span class="p">,</span>
<span class="n">from</span> <span class="p">.</span><span class="o">/</span><span class="n">tracer</span><span class="o">/</span><span class="n">tracer</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">2</span><span class="p">,</span>
<span class="n">from</span> <span class="n">tracer</span><span class="o">/</span><span class="n">tracer</span><span class="p">.</span><span class="n">cpp</span><span class="o">:</span><span class="mi">1</span><span class="o">:</span>
<span class="p">.</span><span class="o">/</span><span class="n">utils</span><span class="o">/</span><span class="n">utils</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">22</span><span class="o">:</span><span class="mi">36</span><span class="o">:</span> <span class="n">error</span><span class="o">:</span> <span class="k">static</span> <span class="n">data</span> <span class="n">member</span> <span class="err">‘</span><span class="n">cpptesk</span><span class="o">::</span><span class="n">utils</span><span class="o">::</span><span class="n">_iterator_helper</span><span class="o">::</span><span class="n">iterator_category_order</span><span class="o"><</span><span class="n">std</span><span class="o">::</span><span class="n">input_iterator_tag</span><span class="o">>::<</span><span class="n">anonymous</span> <span class="k">struct</span><span class="o">>::</span><span class="n">value</span><span class="err">’</span> <span class="n">in</span> <span class="n">unnamed</span> <span class="n">class</span> <span class="p">[</span><span class="o">-</span><span class="n">fpermissive</span><span class="p">]</span>
<span class="k">typedef</span> <span class="k">struct</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">0</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
<span class="o">^</span>
<span class="p">.</span><span class="o">/</span><span class="n">utils</span><span class="o">/</span><span class="n">utils</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">22</span><span class="o">:</span><span class="mi">17</span><span class="o">:</span> <span class="n">note</span><span class="o">:</span> <span class="n">unnamed</span> <span class="n">class</span> <span class="n">defined</span> <span class="n">here</span>
<span class="k">typedef</span> <span class="k">struct</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">0</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
<span class="o">^</span>
<span class="p">.</span><span class="o">/</span><span class="n">utils</span><span class="o">/</span><span class="n">utils</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">29</span><span class="o">:</span><span class="mi">36</span><span class="o">:</span> <span class="n">error</span><span class="o">:</span> <span class="k">static</span> <span class="n">data</span> <span class="n">member</span> <span class="err">‘</span><span class="n">cpptesk</span><span class="o">::</span><span class="n">utils</span><span class="o">::</span><span class="n">_iterator_helper</span><span class="o">::</span><span class="n">iterator_category_order</span><span class="o"><</span><span class="n">std</span><span class="o">::</span><span class="n">forward_iterator_tag</span><span class="o">>::<</span><span class="n">anonymous</span> <span class="k">struct</span><span class="o">>::</span><span class="n">value</span><span class="err">’</span> <span class="n">in</span> <span class="n">unnamed</span> <span class="n">class</span> <span class="p">[</span><span class="o">-</span><span class="n">fpermissive</span><span class="p">]</span>
<span class="k">typedef</span> <span class="k">struct</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">1</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
<span class="o">^</span>
<span class="p">.</span><span class="o">/</span><span class="n">utils</span><span class="o">/</span><span class="n">utils</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">29</span><span class="o">:</span><span class="mi">17</span><span class="o">:</span> <span class="n">note</span><span class="o">:</span> <span class="n">unnamed</span> <span class="n">class</span> <span class="n">defined</span> <span class="n">here</span>
<span class="k">typedef</span> <span class="k">struct</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">1</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
<span class="o">^</span>
<span class="p">.</span><span class="o">/</span><span class="n">utils</span><span class="o">/</span><span class="n">utils</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">36</span><span class="o">:</span><span class="mi">36</span><span class="o">:</span> <span class="n">error</span><span class="o">:</span> <span class="k">static</span> <span class="n">data</span> <span class="n">member</span> <span class="err">‘</span><span class="n">cpptesk</span><span class="o">::</span><span class="n">utils</span><span class="o">::</span><span class="n">_iterator_helper</span><span class="o">::</span><span class="n">iterator_category_order</span><span class="o"><</span><span class="n">std</span><span class="o">::</span><span class="n">bidirectional_iterator_tag</span><span class="o">>::<</span><span class="n">anonymous</span> <span class="k">struct</span><span class="o">>::</span><span class="n">value</span><span class="err">’</span> <span class="n">in</span> <span class="n">unnamed</span> <span class="n">class</span> <span class="p">[</span><span class="o">-</span><span class="n">fpermissive</span><span class="p">]</span>
<span class="k">typedef</span> <span class="k">struct</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">2</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
<span class="o">^</span>
<span class="p">.</span><span class="o">/</span><span class="n">utils</span><span class="o">/</span><span class="n">utils</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">36</span><span class="o">:</span><span class="mi">17</span><span class="o">:</span> <span class="n">note</span><span class="o">:</span> <span class="n">unnamed</span> <span class="n">class</span> <span class="n">defined</span> <span class="n">here</span>
<span class="k">typedef</span> <span class="k">struct</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">2</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
<span class="o">^</span>
<span class="p">.</span><span class="o">/</span><span class="n">utils</span><span class="o">/</span><span class="n">utils</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">43</span><span class="o">:</span><span class="mi">36</span><span class="o">:</span> <span class="n">error</span><span class="o">:</span> <span class="k">static</span> <span class="n">data</span> <span class="n">member</span> <span class="err">‘</span><span class="n">cpptesk</span><span class="o">::</span><span class="n">utils</span><span class="o">::</span><span class="n">_iterator_helper</span><span class="o">::</span><span class="n">iterator_category_order</span><span class="o"><</span><span class="n">std</span><span class="o">::</span><span class="n">random_access_iterator_tag</span><span class="o">>::<</span><span class="n">anonymous</span> <span class="k">struct</span><span class="o">>::</span><span class="n">value</span><span class="err">’</span> <span class="n">in</span> <span class="n">unnamed</span> <span class="n">class</span> <span class="p">[</span><span class="o">-</span><span class="n">fpermissive</span><span class="p">]</span>
<span class="k">typedef</span> <span class="k">struct</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">3</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
<span class="o">^</span>
<span class="p">.</span><span class="o">/</span><span class="n">utils</span><span class="o">/</span><span class="n">utils</span><span class="p">.</span><span class="n">hpp</span><span class="o">:</span><span class="mi">43</span><span class="o">:</span><span class="mi">17</span><span class="o">:</span> <span class="n">note</span><span class="o">:</span> <span class="n">unnamed</span> <span class="n">class</span> <span class="n">defined</span> <span class="n">here</span>
<span class="k">typedef</span> <span class="k">struct</span> <span class="p">{</span> <span class="k">static</span> <span class="k">const</span> <span class="kt">int</span> <span class="n">value</span> <span class="o">=</span> <span class="mi">3</span><span class="p">;</span> <span class="p">}</span> <span class="n">type</span><span class="p">;</span>
<span class="o">^</span>
<span class="n">GNUmakefile</span><span class="o">:</span><span class="mi">50</span><span class="o">:</span> <span class="n">recipe</span> <span class="k">for</span> <span class="n">target</span> <span class="err">'</span><span class="n">tracer</span><span class="o">/</span><span class="n">tracer</span><span class="p">.</span><span class="n">o</span><span class="err">'</span> <span class="n">failed</span>
<span class="n">make</span><span class="p">[</span><span class="mi">1</span><span class="p">]</span><span class="o">:</span> <span class="o">***</span> <span class="p">[</span><span class="n">tracer</span><span class="o">/</span><span class="n">tracer</span><span class="p">.</span><span class="n">o</span><span class="p">]</span> <span class="n">Error</span> <span class="mi">1</span>
<span class="n">make</span><span class="p">[</span><span class="mi">1</span><span class="p">]</span><span class="o">:</span> <span class="n">Leaving</span> <span class="n">directory</span> <span class="err">'</span><span class="o">/</span><span class="n">home</span><span class="o">/</span><span class="n">chert</span><span class="o">/</span><span class="n">ispras</span><span class="o">/</span><span class="n">cpptesk</span><span class="o">-</span><span class="n">toolkit</span><span class="o">-</span><span class="n">src</span><span class="o">-</span><span class="mi">1</span><span class="p">.</span><span class="mi">0</span><span class="p">.</span><span class="mi">24</span><span class="o">-</span><span class="n">beta</span><span class="o">-</span><span class="mi">140522</span><span class="o">/</span><span class="n">cpptesk</span><span class="o">/</span><span class="n">cpplib</span><span class="err">'</span>
<span class="n">Makefile</span><span class="o">:</span><span class="mi">8</span><span class="o">:</span> <span class="n">recipe</span> <span class="k">for</span> <span class="n">target</span> <span class="err">'</span><span class="n">all</span><span class="err">'</span> <span class="n">failed</span>
<span class="n">make</span><span class="o">:</span> <span class="o">***</span> <span class="p">[</span><span class="n">all</span><span class="p">]</span> <span class="n">Error</span> <span class="mi">2</span>
<span class="p">[</span><span class="n">FAILED</span><span class="p">]</span> <span class="n">C</span><span class="o">++</span><span class="n">TESK</span> <span class="n">Testing</span> <span class="n">ToolKit</span> <span class="n">has</span> <span class="n">NOT</span> <span class="n">been</span> <span class="n">compiled</span> <span class="n">correctly</span><span class="p">.</span> <span class="n">It</span> <span class="n">might</span> <span class="n">be</span> <span class="n">connected</span> <span class="n">with</span> <span class="n">its</span> <span class="n">dependencies</span><span class="p">.</span>
</code></pre>
C++TESK Testing ToolKit - Task #8541 (New): [core] Совместное использование с SystemC
https://forge.ispras.ru/issues/8541
2017-11-01T14:38:23Z
Mikhail Chupilko
chupilko@ispras.ru
<p>Примеры совместного использования С++TESK с моделями, написанными на SystemC.<br />(повтор случайно уделенного тикета 1269)<br />Задача связана с проектом C++TESK SystemC Bridge</p>
C++TESK Testing ToolKit - Task #4969 (New): [core] Работа инструмента с timeout=0
https://forge.ispras.ru/issues/4969
2014-05-28T07:46:11Z
Alexander Kamkin
askamkin@gmail.com
<p>По идее, нулевой тайм-аут означает потактовую точность модели. Пользователи утверждают, что это не так.</p>
<p>Нужно проверить.</p>
C++TESK Testing ToolKit - Task #4968 (New): [docs] Описание выдаваемых инструментом сообщений
https://forge.ispras.ru/issues/4968
2014-05-28T07:42:19Z
Alexander Kamkin
askamkin@gmail.com
<p>Пользователям не понятен смысл некоторых сообщений. Предлагаю описать, что каждое из них означает.</p>
<p>P.S. Попутно нужно подумать над унификацией сообщений и форматом лога.</p>
C++TESK Testing ToolKit - Bug #4956 (New): [log] Сообщение при удалении реакции по тайм-ауту
https://forge.ispras.ru/issues/4956
2014-05-22T17:45:11Z
Alexander Kamkin
askamkin@gmail.com
<p>Сообщение при удалении реакции по тайм-ауту (interface.cpp, Interface::remove_spec_reaction_after_timeout) говорит совсем не то, что (по-моему) должно:</p>
<pre>
CPPTESK_DEBUG_PRINT(DEBUG_INFO, "[PMRM2] Correspondent spec reaction is found for " << message.forceToString() << " (in spec_buffer: " << msg << ", id=" << msg.getId() << "); on iface " << *this << "; remains: " << _spec_reactions.size());
</pre>
Veritool - Task #4380 (New): Выделить reset из testbench.v в специальный метод
https://forge.ispras.ru/issues/4380
2013-07-23T10:21:51Z
Mikhail Chupilko
chupilko@ispras.ru
<p>Чтобы можно было определять этот метод в другом файле нежели в (потенциально) постоянно перегенерируемом testbench</p>
C++TESK Testing ToolKit - Task #4121 (New): [build] Стабилизация версии 1.0
https://forge.ispras.ru/issues/4121
2013-04-18T02:52:46Z
Alexander Kamkin
askamkin@gmail.com
<p>Есть предложение зафиксировать C++TESK 1.0:</p>
<ol>
<li>Довести до ума диагностику (вывод таблицы + рефакторинг кода).</li>
<li>Довести до ума документацию (см. открытые задачи с тегом [doc], User Guide[eng] перенести в wiki и расширить).</li>
<li>Разобраться с открытыми задачами.</li>
<li>Разработать модульные тесты (можно перейти на CppUnit).</li>
<li>Выпустить stable-сборку <code>cpptesk-toolkit-1.0.2x-stable.tar.gz</code> (+ одна-две промежуточные сборки).</li>
</ol>
<p>Дополнительно:</p>
<ol>
<li>Информирование о том, что пропущен ADD_OUTPUT (#4087).</li>
<li>Перекинуть отладочный вывод [PMRM], [CAPTURE] и [RELEASE] в DEBUG_MORE (#4135).</li>
<li>Проблемы с производительностью (<a class="issue tracker-1 status-6 priority-4 priority-default closed" title="Bug: Проблемы с производительностью у версии CPPTESK, установленной в /auto/vgr/e2k_run/ispras/tools/c... (Rejected)" href="https://forge.ispras.ru/issues/4138">#4138</a>).</li>
</ol>
<p>P.S. Менялись проекты netfsm и cpptesk.</p>
<p>Сроки: до конца мая.</p>
<p>Планы на версию C++TESK 1.1:</p>
<ol>
<li>Локализация ошибочного поведения (срезы диаграмм сигналов).</li>
<li>Прототипирование тестовых систем.</li>
<li>Отладочный вывод (формат вывода, управление объемом выводимой информации, дополнительные уровни логирования).</li>
<li>Интеграция с системами статического анализа HDL-кода.</li>
<li>Описание и тестирование коммуникационных сетей.</li>
<li>Новые обходчики (цепи Маркова и т.п.).</li>
</ol>
Veritool - Bug #3833 (New): add lib64 to paths
https://forge.ispras.ru/issues/3833
2012-12-28T08:53:58Z
Mikhail Chupilko
chupilko@ispras.ru
<p>64-bit opensuse tries to find -lvpi and -lverilog in $ICARUS_HOME/lib but creates them in $ICARUS_HOME/lib64</p>
C++TESK Testing ToolKit - Task #2668 (New): [docs] Real-life example(s) of C++TESK model(s) & tes...
https://forge.ispras.ru/issues/2668
2012-03-28T10:34:08Z
Alexander Kamkin
askamkin@gmail.com
<p>Example(s) would be useful for many purposes (research, tools testing, etc.).</p>
Veritool - Task #2161 (New): Массив вместо структуры для int128-int512
https://forge.ispras.ru/issues/2161
2012-01-09T11:29:44Z
Alexander Kamkin
askamkin@gmail.com
<p>Структуры не очень удобны (нельзя обрабатывать внутри циклов и т.п.).</p>
Veritool - Task #2138 (New): Генерация C++ кода вместо С
https://forge.ispras.ru/issues/2138
2011-12-26T13:33:25Z
Alexander Kamkin
askamkin@gmail.com
<p>Вместо структур и функций - класс и методы.</p>
Veritool - Task #2130 (New): Получение списка внутренних сигналов
https://forge.ispras.ru/issues/2130
2011-12-26T11:46:01Z
Alexander Kamkin
askamkin@gmail.com
<p>Возможность получения всех внутренних сигналов важна для эмуляции сбоев в работе аппаратуры.</p>
<p>1. Структура должна быть иерархической.<br />2. Должна обеспечивать возможность навигации по сигналам.<br />3. Должна обеспечивать возможность получения границ разрядов.</p>