Project

General

Profile

Actions
Copy link

Feature #11742

closed

Develop simple program sample and describe how to verify it with Klever

Added by Evgeny Novikov over 2 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Documentation
Target version:
3.7
Start date:
07/07/2022
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

It would be very helpful for users to get the preliminary understanding of steps and artifacts that they need to do to verify at least some simple program with help of Klever. Of course this will not be enough for large projects where much more efforts for development of environment models, requirement specifications, etc. will be necessary.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 2 years ago

  • Status changed from New to Resolved

I made everything in branch support-sample-program. Besides, I slightly changed some models and the source code. At the moment the branch is tested.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 2 years ago

  • Status changed from Resolved to Closed

Tests passed, so I merged the branch to master in 8b54dfe57.

Actions
Copy link

Also available in: Atom PDF