search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Added new GH workflow for testing the Docker image #93

Closed AdamZsofi closed 3 years ago

AdamZsofi commented 3 years ago

This PR solves #90 , adding a GH Action building the docker, running it and executing gazer-bmc and gazer-theta on a simple lock task.

Note: I don't think this deserves the patch number bumped, it only changes CI

hajduakos commented 3 years ago

Okay, the Travis build is really slow (queued for a long time). @AdamZsofi feel free to remove with this PR.

sonarcloud[bot] commented 3 years ago

Kudos, SonarCloud Quality Gate passed!

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information