Commit ec88795e authored by Andreas Werner's avatar Andreas Werner
Browse files

update to 23.1

parent 848bda2c
......@@ -54,7 +54,7 @@ proof-23:
tags:
- docker
- generic
image: framac/frama-c:23.0
image: framac/frama-c:23.1
script:
- /bin/bash ./run_vali.sh
- cat ./.frama-c/src_controller_controller_task.log | grep "Coverage estimation"
......
Supports Markdown
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