CHARON_HOME=../../../charon/charon

all: build test translate

.PHONY: build
build:
	cargo build

.PHONY: test
test:
	cargo test

.PHONY: translate
translate:
	cd $(CHARON_HOME) && cargo run ../../aeneas/examples/misc/src/hashmap.rs