Repository navigation
To add finding division by zero bug detection example #35
Description
We need to add bash script and new workflow to build full pipeline:
- example of
.ccode with division by zero bug - transpile this example from C to EO
- run Polystat analysis
- check that bug was found
Reacted by Yegor Bugayenko
Activity
polystat#35 - added github actions workflow for find division by zero…
polystat#35 - fixed workflow
polystat#35 - fixed dicker run
polystat#35 - fixed docker run
polystat#35 - clean up
polystat#35 - clean up
polystat#35 - added on push trigger
polystat#35 - create intermediate EO representation
polystat#35 - change path
polystat#35 - added strict mode to run.sh