Actions
Feature #6734
closedInclude benchmarks and all input files into decision result files in development mode
Start date:
02/03/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
8489649
Description
In standard development mode one can need to include these files to quickly [tune them and] invoke static verifiers without using Klever.
Actions