1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# VO=swap0_valid.vo loop0_valid.vo peano_valid.vo power_valid.vo \
# arith_valid.vo mac_carthy_valid.vo fib_valid.vo gcd_valid.vo \
# flag_valid.vo search_valid.vo sqrt_dicho_valid.vo \
# max_valid.vo
VO=swap0_valid.vo loop0_valid.vo peano_valid.vo power_valid.vo \
arith_valid.vo mac_carthy_valid.vo fib_valid.vo gcd_valid.vo \
search_valid.vo sqrt_dicho_valid.vo \
max_valid.vo flag_ax_valid.vo sum_valid.vo matrix_mult_valid.vo
# csearch_valid.vo copy_valid.vo
all: $(VO)
include ../Makefile.common
flag_ax_why.why: flag_ax.mlw
$(WHY) --why --no-arrays $^
|
