-
Notifications
You must be signed in to change notification settings - Fork 0
/
action.yml
31 lines (31 loc) · 866 Bytes
/
action.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
# action.yml
name: 'Frama-C-Eva'
description: 'Sound analysis of C code with the open-source platform Frama-C: exhaustively list possible runtime errors'
branding:
icon: 'facebook'
color: 'orange'
inputs:
fc-dir:
description: 'Directory containing the Frama-C makefile (default: .frama-c)'
required: false
default: '.frama-c'
fc-makefile:
description: 'Makefile for Frama-C (must be inside [fc-dir])'
required: false
default: 'GNUmakefile'
eva-target:
description: 'Name of the Eva target in the makefile'
required: true
default: 'main.eva'
outputs:
alarm-count:
description: 'Number of alarms reported by Eva'
coverage:
description: 'Eva coverage estimation (%)'
runs:
using: 'docker'
image: 'Dockerfile'
args:
- ${{ inputs.fc-dir }}
- ${{ inputs.fc-makefile }}
- ${{ inputs.eva-target }}