Holmakefile « hashmap_on_disk « hol4 « tests - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/tests/hol4/hashmap_on_disk/Holmakefile

blob: 3c4b8973906a55d7e631336ae40e9514e41e39c4 (plain)

# This file was automatically generated - modify ../Holmakefile.template instead
INCLUDES =  ../../../backends/hol4

all: $(DEFAULT_TARGETS)
.PHONY: all