From e161eb47d51a01e54a21c4517c85ef4c5525709e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 9 Feb 2022 13:00:47 +0100
Subject: Add more command line arguments for the decrease clauses

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 068d5f61..b12f7dae 100644
--- a/Makefile
+++ b/Makefile
@@ -23,8 +23,8 @@ build:
 test: build translate-no_nested_borrows translate-hashmap
 
 # Add specific options to some tests
-translate-no_nested_borrows: TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units
-translate-hashmap: TRANS_OPTIONS:=$(TRANS_OPTIONS)
+translate-no_nested_borrows: TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-decrease-clauses
+translate-hashmap: TRANS_OPTIONS:=$(TRANS_OPTIONS) -template-clauses
 
 # Generic rule to extract the CFIM from a rust file
 .PHONY: gen-cfim-%
-- 
cgit v1.2.3