Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
F
Frama-C Website
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
pub
Frama-C Website
Commits
b7fe00be
Commit
b7fe00be
authored
3 years ago
by
Virgile Prevosto
Committed by
Andre Maroneze
3 years ago
Browse files
Options
Downloads
Patches
Plain Diff
[blog] apply review suggestions
parent
fe1fa8b0
No related branches found
No related tags found
No related merge requests found
Pipeline
#44144
passed
3 years ago
Stage: test
Stage: css
Stage: deploy
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
_posts/2022-04-xx-ltest-plugins-released.md
+5
-4
5 additions, 4 deletions
_posts/2022-04-xx-ltest-plugins-released.md
with
5 additions
and
4 deletions
_posts/2022-04-xx-ltest-plugins-released.md
+
5
−
4
View file @
b7fe00be
...
@@ -38,14 +38,15 @@ papers, but once again, their maintenance was sporadic.
...
@@ -38,14 +38,15 @@ papers, but once again, their maintenance was sporadic.
This opam release, plus the code being kept closer to Frama-C's development
This opam release, plus the code being kept closer to Frama-C's development
version in Gitlab, should help keep these plug-ins relevant. Note that the
version in Gitlab, should help keep these plug-ins relevant. Note that the
released version is numbered 0.1, which indicates that they are still in an
released version is numbered 0.1, which indicates that they are still in an
experimental stage; industrial users
should contact the Frama-C team for
experimental stage;
potential
industrial users
might want to contact
details about their maturity.
the Frama-C team for
details about their maturity.
You may also have noticed: why is the opam package for LReplay named
You may also have noticed: why is the opam package for LReplay named
`lreplay`
and not
`frama-c-lreplay`
? The simple reason is that, unlike the
`lreplay`
and not
`frama-c-lreplay`
? The simple reason is that, unlike the
others, it is not a Frama-C plug-in
*per se*
, but an independent tool
others, it is not a Frama-C plug-in
*per se*
, but an independent tool
(it even has its own Dune build file) that can be used with or without
(so that it was able to switch to
`Dune`
earlier than the rest of the platform)
that can be used with or without
Frama-C. It turns out that its defaults are mostly tuned for using it in
Frama-C. It turns out that its defaults are mostly tuned for using it in
conjunction with
conjunction with
[
PathCrawler
](
https://www.frama-c.com/fc-plugins/pathcrawler.html
)
,
[
PathCrawler
](
https://www.frama-c.com/fc-plugins/pathcrawler.html
)
,
but it can be configured for use with
other test generators
.
but it can be configured for use with
any test suite, generated or not
.
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment