Add insertion of include guards to VeeR config files, move assert enable flag to Makefile #44

Triggered via pull request January 4, 2024 13:08

tmichalak

closed #154

Status Success

Total duration 10s

Artifacts 1

gh-pages-pr-closed.yml

on: pull_request

Produced during runtime

Name	Size
delete_pr_number Expired	11 Bytes