Skip to content
Snippets Groups Projects
Commit b2115f19 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[news] Add news about LTest that was missing in previous MR

parent 36890387
No related branches found
No related tags found
1 merge request!147Frama clang 0.0.12
---
layout: default
date: 08-04-2022
short_title: LTest is out
title: Release of LTest 0.1
link: /fc-plugins/ltest.html
---
The LTest toolset is available in `opam`. More information [here](/fc-plugins/ltest.html).
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment