Skip to content
Snippets Groups Projects
Select Git revision
  • 4feac4339a762f5e268a964bf771e5f993573fb7
  • master default protected
2 results

Makefile

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Makefile 678 B 
    PROBCLI=probcli

VISBFILE=einstein_puzzle_als.json
SPEC=einsteins_puzzle.als

VISBFILE2=Einstein_tla.json
SPEC2=Einstein.tla

all: html/$(SPEC).html html/$(SPEC2).html Houses.svg
	@echo "Generated VisB HTML files in html/"

html/$(SPEC).html: $(SPEC) $(VISBFILE) Makefile
	@echo "Running alloy command run for $(SPEC), generating html/$(SPEC).html"
	$(PROBCLI) $(SPEC) -cbc-sequence run0 -visb_with_vars $(VISBFILE) html/$(SPEC).html



html/$(SPEC2).html: $(SPEC2) $(VISBFILE2) Makefile Houses.svg
	@echo "Performing symbolic invariant check on $(SPEC2), generating html/$(SPEC).html"
	$(PROBCLI) $(SPEC2) -cbc all -visb_with_vars $(VISBFILE2) html/$(SPEC2).html -expecterr cbc