Feature/new cgc (!6) · Merge requests · pub / open-source-case-studies · GitLab

Snippets Groups Projects

Open Dario Pinto requested to merge feature/new-cgc into master 4 years ago

Viewing commit 665d5d74

Show latest version

19 files

+ 389

− 461

Some changes are not shown

For a faster browsing experience, some files are collapsed by default.

Files

19

665d5d74

fix symbolic paths and update oracles · 665d5d74
Andre Maroneze authored 4 years ago

cgc-challenges/Makefile 0 → 100644

+ 8

− 0

TARGETS:=$(sort $(filter-out lib/ old_stubs/,$(dir $(wildcard */))))

all: $(TARGETS)

$(TARGETS):
	$(MAKE) -C $@/.frama-c

.PHONY: all $(TARGETS)