Commit d0c1f9ac authored by Allan Blanchard's avatar Allan Blanchard

Change E-ACSL priority

parent c337df68
Pipeline #30911 passed with stages
in 7 minutes and 36 seconds
......@@ -3,7 +3,7 @@ layout: plugin
title: E-ACSL
description: Runtime Verification Tool
key: main
priority: 2
priority: 1
manual_pdf: /download/e-acsl/e-acsl-manual.pdf
additional:
- name: "E-ACSL language reference manual"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment